Function nesting and closures: new RVM instructions (not yet
implemented), new type of values on the stack.