One environment frame's bindings, shared until something writes: the writer forks, so cloning is free and a definition pays for the copy.
One environment frame's bindings, shared until something writes: the writer forks, so cloning is free and a definition pays for the copy.