Remove export comment and squeeze blank lines in Level
Replace tailSave with lens

tailSave [] => []
[] ^. _tail => []
Add iso for sumcoords
Clearer type aliases for Path.Internal
Add explore test case for isomorphisms and compose
Implement Level.isReachable
Replace findTask with lensier version