Module egraph
egg
Struct that tells you whether or not an add modified the EGraph
add
Data structure to keep track of equalities between expressions