Amir Shaikhha Publication PLDI'25 Slotted E-Graphs: First-Class Support for (Bound) Variables in E-Graphs Rudi Schneider, Marcus Rossel, Amir Shaikhha, Andrés Goens, Thomas Koehler, Michel Steuwer