Updated the protocol to distinguish buffers and files and be slightly more flexible about changes to buffer type.
Added comparison operators for monoid_sequence iterators.
Fixed an obscure (and probably unreachable) bug in token assignment.
The evil corner case I mentioned in 7dc78040f26c8a90b53cab6326230b2c09d640a8?  Testing with ni showed that I got it wrong.