Defines the root state for the current state machine. All other states will be substates of the TopState.