egglog compiler for GHC Core to Core

[Chris Warburton]

Useful to inline everything (it's a DB!) and to bypass private module safeguards.

Once we have a self-contained expression, we can send it to an interpreter (e.g.
in Haskell) to explore. That interpreter can track sizes, etc. Could use Binary
Lambda Calculus serialisation to count size (or BCL).