Produce parsable rewrites for ``egglog``

[Theomat]

When enumerating we actually compile a set of rewrite rules.
Perhaps outputting an automaton is not necessarily what people want, instead they might want an E-graph, as used in egglog (https://github.com/egraphs-good/egglog).