More combinators for Fun
Add type class for indexing
Export combinators
Type isomorphism between new type level Natural and Peano arith. in fixed-vector
Use new indexing code
Better naming