add examples of state and reader monads in action
add Reader, ReaderT, MonadReader, instances for Reader and ReaderT, instances of MonadReader, and more instances of other Monad* classes which were inexplicably missing