Spec: update negotiation with proper types, add values description.