Agreed. Unbounded nested scoping requires a state machine with a stack. Every time a new scope is encountered, the current state of the machine is pushed onto the stack and when it ends, the saved stated is popped off.