Proposed resolution:
In Iterator traits [iterator.traits] para 4 add:
concept IsReference<typename T> { } // exposition only template<typename T> concept_map IsReference<T&> { } template<typename T> concept_map IsReference<T&&> { }