re-adding exprD_var_env

- Some documentation to the lifting functions
- Work on a general version of "openUp"