Enough of a compiler and VM for lambda applications