Use `TypeConstructor`s for basic types
Import kinds for basic types

A bit hacky I think, not familiar enough with Parsec to know the best
way to do this
Merge pull request #160 from garyb/singleargs

Singleargs