Some tests over ReaderT
Cleaned some types