Update README.md

Added defn of monads and monadic laws from the lecture.