Lifting E-Graphs (via mjn) — discussion

#plt