Making an editing pass through 3.2.

My focus is eliminating some ambiguous wording in the exposition.  In
particular, I fear there is conflation of the idea of a lambda12
expression at stage 2), and the concept of the residual.

Secondly, I'd like to canonicalize the residual depiction in the
no-duplicate and duplicate cases.