Simplified several aspects of the recoloring logic.
    - Moved the restart logic into mainloop.
    - Added several new state methods that clarify what is going on.
    - Removed the "success" logic at the end of mainloop.
      This was misguided: the pattern matchers are responsible for setting/clearing state.
    - Removed the hack in clearState that cleared the restart dict.
      This was an extremely poor idea: it just creates more confusion.

Coloring appears to work for both Python and C.
I am a bit surprised that C works.
All unit tests pass.

More work, including possibly theoretical work, will probably be needed to handle delegates.