pub fn syn_binary(op: &str, a: Syn, b: Syn) -> Syn
SApp (SApp (SName op) a) b.
SApp (SApp (SName op) a) b