Right, my first thought when reading the blurb was "kinda sounds like e-graphs?"