Theory Rules as Regular Expressions

• I think theory rules can be represented purely with regular expressions, and that maybe theory rules can only be represented as regexes, because they are regexes!