When inlining, substitute actual parameters.
Express sample programs as full processes.
`lotos-eater` executable driver for codegen.

The sample programs are now in the samples/ directory.
Simplify implementation of liftProcesses.