Revisions to prop346 and accompanying spec tweaks

This MR cleans up some issues in proposal 346.

It also documents the numeric values for our protocol types, and tweaks/adjusts some descriptions of unimplemented cruft.

Part of #317 (closed).