validation isnt a monad so moved it to util
more docs in applicatives.  Demo some functions with monads
added prob and coin example to monads.  Added streaming to build