`NonMaxUsize` and niche value optimisation

Whoa, that's even better!

Maybe a plan would be, stabilize some common and useful Non* types now on stdlib, and maybe expose the full generality of consecutive niches if and when pattern types become available.