Egg?

[ninehusky]

Title! It's been in my mind for a while... it seems like a lot of the problems I've faced this quarter have been "how do we do X in Egglog?" Initially, I was convinced that we needed the Egglog stuff to get conditional rewrites working, but now that we have the condition implication stuff, could we just use Egg?

Thinking in extremes, there are two directions we can go:

1. Replace Egglog with Egg (in the case where Egg, for some reason, is just faster)
2. Come up with a good, solid reason why we must use Egglog (one example solid reason is just that "it's faster")

To start exploring this, I'll start a branch where we use Egg.