cpp/iterator/input iterator

The concept is a refinement of, adding the requirement that the referenced values can be read (via ) and the requirement that the iterator concept tag be present.