Adding an overlap predicate for range indices.

Also, including some explanatory comments on the top-level traits and ranges.