Added explicit type variable constructor.
Rename unTyVar -> tyVarNumber.
Abstract over things-that-have-an-application-operator.
Fixes in Type module.