Template:cpp/iterator/dsc incrementable traits