Extract some of HasVar/CompositeHasVar to Lamdu.Expr.TypeVars
Rename Infer.Internal.{TypeVars => Subst}: Also rename exported names appropriately