Self-compiler

[clark800]

The goal is to write a lambda zero compiler in lambda zero. Since the core language is the lambda calculus, this is very similar to the core of a Haskell compiler, so the STG machine that GHC uses is probably the best approach.