Adds node literals and simplify invocation rules.
Merge.
Explicit application.