redExp env (EAct e e')          = liftM2 EAct (redExp env e) (redExp env e')
redExp env (EAct e e')          = liftM2 EAct (redExp env e) (redExp env e')
redExp env (EAct e e')          = liftM2 EAct (redExp env e) (redExp env e')