-define op2 e1 o e2 = OpExp e1 o e2 ;
-EIncr. Exp3 ::= Ident "++" ;
-EDecr. Exp3 ::= Ident "--" ;
+define op2 e1 o e2 = BiOpExp e1 o e2 ;
+postIncr. Exp3 ::= Ident "++" ;
+define postIncr i = EPost i Plus ;
+postDecr. Exp3 ::= Ident "--" ;
+define postDecr i = EPost i Minus ;