Moved the bounds into a separate type, and turned xy2i into an isomorphism.
Replaced Level module with a new Area module that provides a better grounding.
Wrote Contains and At instances for Area.
Now Area comes with a translation.
Wrote SelectedArea type and indexed container instances.