pub fn binary_expr(l: Expr, op: Operator, r: Expr) -> Expr