KnownNat-indexed vectors

I do hope to be able to sink some good focus time into it again soon, especially because I have a bunch of stuff related to random distributions that needs integrating - my data science friend has been helping me with that a bit. Between bolt, memalloc, and botan, I have been growing quite the little ecosystem, and it all needs tending!