KnownNat-indexed vectors

This is part of my own private library that I created after reading your Bolt Math thread! I’m also miffed at the state of the Num hierarchy and would see it changed. I’d be more than happy to compare notes on what each other has been working on in this space!