Lamdu.Infer.Internal.Scheme -> Lamdu.Expr.Scheme