Finish revising the description of channel negotiation

I think that now, at last, we might have something that's comprehensible, up-to-date, and correct?

This branch is based on !221 (merged); the earlier commits are all from that branch, so it's best to review them there.