[various] Separate examples from normative text.
[various] Remove constexpr constraints.