Adding tests and documentation for Binds
Bind supporting return statements
Finishing each test for each monad
Adding zero and plus operators for the Monad