Updated the game logic to use the MAIN module

This was done to reduce complexity on a test implementation. Using multiple
modules is a good idea when the set of rules gets large enough that a portion
of the running time is devoted to advancing a control fact and recomputing the
agenda.