Implements reentrancy for lazy map enumeration.

Nested enumeration is now supported.