nestingState and NestedStateMachine complete, please improve to heart's content
but don't change syntax without good reason