Adds the maybe monad.

--HG--
extra : amend_source : 13bb8e5950f54ae43935c8f162b823fa128f4c9d
Adds maybe monad, tests and fixes.