"Lambda-lifting" for processes.

This is conceptually related to the supercombinator compilation
strategy, as described in chapter 13 of "The Implementation of
Functional Programming Languages" (Simon Peyton Jones, 1987).