Something I’ve been seeking for a while is a notion of a “refinement e-graph”.