Lots of little fixes.

Can instantiate keywords.
Can map keywords over records correctly.
Started type checking cs-gen.
Removed evil cyclic deps in type-rep, these are causing havoc for Tom
with autodoc!