Template:cpp/iterator/counted iterator/dsc incrementable traits