WYRL: ok, that seems to be working quite well now and I think we can close #274.  However, there remain performance concerns with both the fundamental operations on Automaton, and the strategy for implementing rewrite rules.