Many reasons. The VM is minimal, has a precise mathematical spec and is tailored to be a base for a purely-functional OS. The details of the VM are usable in the higher layer. It's more like a Lisp-machine, than LLVM.