redExp env (ETempl x t te c)    = liftM (ETempl x t te) (redCmd env c)
redExp env (ETempl x t te c)    = liftM (ETempl x t te) (redCmd env c)
redExp env (ETempl x t te c)    = liftM (ETempl x t te) (redCmd env c)