WIP: Rewrite & improve DSL and equality saturation code#26

Colton1skees wants to merge 2 commits intomastermazeworks-security/Simplifier:masterfrom

feat/eqsat-revivalmazeworks-security/Simplifier:feat/eqsat-revivalCopy head branch name to clipboard