New type representations
Updated forall representation
metaTvs
freeTyVars
tyVarBndrs
applySubst for new types
ID of type vars