pub fn binary_expr(l: Expr, op: Operator, r: Expr) -> Expr
Compute op(l, r) (or equivalently l op r). l and r must have types compatible with the Operator.
op(l, r)
l op r
l
r