make binary exprs recursive and left folding