This looks like a state machine builder and executor. I.e. It's a state machine which starts in the state of holding no state machines in memory, and can then

This looks like a state machine builder and executor. I.e. It's a state machine which starts in the state of holding no state machines in memory, and can then transition to holding a built state machine in memory, and can then transition to running the built state machine.