Restore formal wording for protocol and protocol_view

[Copilot]

The Technical Specifications section was removed from DRAFT.md in a prior cleanup commit. This restores it, updated to match the constructor signatures added since that removal.

Restored sections

• Header synopses — <version> macro and <protocol> namespace synopsis including pmr aliases
• protocol [X.Y] — general requirements (valueless state, conformance, allocator constraints), full class synopsis, and per-constructor formal wording (Constraints / Effects) for all 22 constructor paragraphs, plus destruction, copy/move assignment, observers, swap, and member access
• protocol_view [X.Z] — general requirements, synopses for both protocol_view<I> and protocol_view<const I>, constructors, assignment, and member access

New formal wording (not in the removed section)

Constructors added since the section was dropped now have full specification:

• Default constructor and allocator-extended default constructor
• template<class U> protocol(U&&) — construction from any conforming value, with allocator-extended variant
• template<class T, class J, class...> protocol(in_place_type_t<T>, initializer_list<J>, ...) — in-place with initializer_list, with allocator-extended variant
• Deleted rvalue constructors for protocol_view<const I> (const T&&, const protocol<I,A>&&)

Fixes to pre-existing errors in the original text

• Duplicate step label 6.4 in move-assignment effects — renumbered to 6.4 / 6.5 / 6.6
• Broken precondition sentence in protocol.swap — get_allocator() == other.get_allocator() was split incorrectly across two lines