Added some state logic

Added some state logic and beginnings of support for 'transitional
states' -- a set of two states that transitions based on an alpha