Sound unchecked indexing in Rust using “generativity”; a type system approach to indices and ranges that are trusted to be in bounds.
Includes an index API and an interval (Range<'id, P>) API developing its
own “algebra” for transformations of in bounds ranges.