Use monad transformers for realization
Game structure constructors
Cleanup
Move states module
WIP - adds forward application of transitions
Working cox implementation
Working synthesis