Making sure the binary tree is a monad.
- Updating the readme.