Push type inference into Expr constructor