l2d: map fst env0 -> lenv0
eval: map snd env0 -> venv0