KnownNat-indexed vectors

I’m afraid switching to a data representation improved performance dramatically. Unfortunate, but unsurprising. Doing heavy math with these kinds of vectors, creating new vectors from old, requires keeping references around to all of these functions. I will experiment with memoization, but I think this spells doom for the approach I outlined in the original post.