Generalized the kinds of types in foralls from * to k.
Bug fixes; changing tyConTyCoVars to tyConTyVars.

- Moved tcTyConsOfType to Type

- Removed tyConsOfType, in favor of tcTyConsOfType

- Rewrote varSetElemsWellScoped to work