Switched to persistently interleaved keys and made a number of changes.

* Upgraded the quadrant splitter into a lens.
* Functor/Foldable/Traversable for (Mat v)
* Started Ixed and At instances for (Mat v a).
* Lensified the Mat field accessors