abstract syntax changes.  removed expr fields from binop and unop; allows binop and unop to be applied by App