[expos.only.entity] Should we use `iter-value-type` in more places?

The `iterator_traits<I>::value_type` pattern seems to be quite common in the standard library (for non-`ranges` utilities). Should we reuse the _`iter-value-type`_ alias for short?