iterator_type is a member of reverse_iterator, move_iterator, and counted_iterator, so should be indexed as a reserved name.

iterator_concept is a member of iterator_traits and various iterator adaptors and view iterators.

difference_type and value_type are indexed as members of various types, but not as members of iterator_traits (nor as members of iterator adaptors and view iterators, but the iterator_traits uses are the most important).