A new blog post https://www.philipzucker.com/refinement_egraph/ "Refinement E-Graphs". Baking in a <= relation to support unidirectional refining rewrites, which are common in compilers. A surprisingly natural generalization of the e-graph pieces. Microegg based prototype https://github.com/philzook58/refinement-microegg