Theory Rules as Regular Expressions

About reifying theory rules, regular expressions might be the only way to go.

This is an old idea from the Quartz days so I haven't though too much about it since, just an idea.

Theory rules might be regular expressions, or maybe it's more complicated than that.