Reader monad

I've create a Reader monad, including UMD, which is now also added to IO.

A few corrections to examples are included too. Did not intend to PR that yet, but I do not know how to exclude files from a PR...