More edits to protocol spec.

Added stubs for constraints / restrictions and examples.