Start implementing Zoom
Reorganize modules
C.M.C.Effects
MonadReaderN: use ask instead of reader
Zoom
Tests for zoom