Spec: better describe USIDs, more consistent LSIDs
Spec: split success and error return blocks.