Issue Description:

The space bound on removeAll(where🙂 isn't documented, which is supposed to mean it's an O(1) space operation—we would document any O(N) space operations whose space bound was not already an implication of the signature. The fact that there are no known models of `RangeReplaceableCollection` that cannot perform this operation in O(1) space is a good indication that O(N) space is not actually the right bound for this operation. The cure is to remove the default implementation from `RangeReplaceableCollection` and only provide a default for `RangeReplaceableCollection & MutableCollection`. I don't believe an O(1) space default implementation that only depends on `RangeReplaceableCollection` exists.