Add HasUVars instance for type variables
Add functional dependency to HasUVars
When doing substitution on constraints, resolve them afterwards
Add TODO note about resolveConstraint in TC