[iterator.requirements.general] The constexpr iterator requirements look a bit too terse

[frederick-vs-ja]

From the note, it seems that built-in operators are also considered to be constexpr functions. But the intent doesn't seem deducible from the normative text.

Also, do we want to refer the requirements as Cpp17ConstexprIterator/ContexprIterator?