Deleted the loop and each monads and adding monadic laws into the tests
Adding documentation for the example Bind functions