[eval2] Unlift the environment into a function argument again.