indexing 0.1.0-alpha2

Sound unchecked indexing using “generativity”; a type system approach to indices and ranges that are trusted to be in bounds.
Documentation

“Sound unchecked indexing” in Rust using “generativity” (branding by unique lifetime parameter).

Includes an index API and an interval (Range<'id, P>) API developing its own “algebra for transformations of in bounds ranges”.