Silly fresh variable generation.

Just writing some freshVars and freshUnits around to see how UHC reacts.
Going to implement the basics of HM quite soon.
Moved the knTy def for CBind to the Type down sec.