Adds SortedRange.insert for DynamicRange's
Adds type constraints to SortedRange.contains(V)