Level --> Area
Now XY have the correct ordering and also a Monoid instance.
Split the xy2i isomorphism into two separate functions.

There turned out to be no apparent benefit (at least, so
far) to having it be an isomorphism, and a lot of
inconvenience.
Wrote a traversal for Area.