Refinement E-Graphs

What happened

The idea of a refinement e-graph is to add a baked in a <= relation that is about as privileged as the e-graph’s native =

Summary assembled by rule from the sources below

Sources