invert-eval-var, super roundabout way, some reshuffling to accomodate new venv lemmas