colis: summary of work, for meeting with Ralf.
Version as of that meeting: Nov, 20.
colis: a few tentative modifications.
Before yet another change in formalism.
phd: Church-Rosser Ph.S. correction.
Diagram was correct, formula was not.