After processing an expression that writes into a custom environment, moves the written definitions from the caller's scope into envDef's tracked envState and re-defines the holder variable in the returned environment.
envDef
envState
Optional
After processing an expression that writes into a custom environment, moves the written definitions from the caller's scope into
envDef's trackedenvStateand re-defines the holder variable in the returned environment.