Matches-index (July 2025) -- reviving the left-pad index

I don't think std can model every possible subset of floats that somebody might be interested in. But that shouldn't block the introduction of a NotNull type, which has a clear benefit: it can implement Ord, Eq and Hash and thus be used as a key and for sorting. Initially it might not even be a generic type, to simplify matters.