Typed.Expr.ty does type inference