clean-up
discuss the satisfiability of the cross-type EqualityComparable constraint on iterator/sentinel pairs
the Great Concept Rename. Range -> BoundedRange, Iterable -> Range