Expr.TypePart class rather than Infer.Monad.InfersVars