KnownNat-indexed vectors

I sprinkled MemoTrie’s memo in between every V and \ in my code, and got a considerable speedup. (I had to use the github version, the instance HasTrie Natural is not live on Hackage yet.) It’s still not quite as fast as the strict data representation, but it’s not dragging to a halt after twenty or so operations!