It does sound cool, and it's no small undertaking. A high-level language like a Lisp requires GC, for one example.

It'll be neat to see what he comes up with.