OK, this is really not even half-baked. It's just intended to give an idea of what the protocol elements might look like in a JSON representation. Since we've decided to use CBOR, this is a bit academic. (Mapping CBOR to JSON is straightforward if we want to do it).