liftVar moved to Type module under LiftVar class
Remove Specialize
TypeVars.VarKind class allowing treating TypeVars as a set