[Pitch] Make Collection Super-Convenient and Retire Sequence

Evolution Pitches
66

If the behavior of SR-7605 is desirable, would a default associatedtype suffice?

protocol Collection {
    // ...
    associatedtype Index: Comparable = DefaultIndex<Self>
    // ...
}