Support for projection functors in the runtime.
Minor language tweaks.