TypeVars.difference moved from Internal.Subst
Lamdu.Infer.Specialize