Updated state machine

Yet to be complete, but state types were defined, and states were
defined up to deal_player_3.