@hackage specialize-th0.0.0.1

Create specialized types from polymorphic ones using TH

Very Alpha. Minimal Testing. Will test more this week.