Clarify non-normative attribute examples
Remove empty constraints subsection
Update Overview section of protocol