redExp env (ESel e s)           = do e <- redExp env e
                                     redSel env e s
redExp env (ESel e s)           = do e <- redExp env e
                                     redSel env e s
redExp env (ESel e s)           = do e <- redExp env e
                                     redSel env e s