Dimensional

tabulate

(Fn [(Ref (Fn [(Index (a (Size b) Opaque) Int)] c) d)] (a (Size b) c))

                    (tabulate f)
                

Tabulate maps a `lookup` function (any function that takes an `Index` as an
argument) over the positions of a sized functor.

`(tabulate (lookup f))= (id f)`

To make this function useful, one often needs to use an overarching context
to ensure the resulting functor is sized appropriately. 

transpose

(Fn [(Ref (a (Size b) (c (Size d) e)) StaticLifetime)] (c (Size d) (a (Size b) e)))

                    (transpose f)
                

Transpose takes a sized functor whose inhabitants are sized functors and
effectively swaps their sizes; it is equivalent to matrix transposition.

For example, given a Vector of Size 3 of Vectors of Size 2

`(Vector [(Vector [1 2]) (Vector [3 4]) (Vector [5 6])])`

transpose will return a Vector of size 2 of Vectors of size 3:

`(Vector [(Vector [1 3 5]) (Vector [2 4 6])])`