Move the representation of values out of the hands of the runtime.
Fix support for higher-order functions.