Add "old" moduledoc to Monad module
Remove (outdated) explanation of `m` macro expansion
Add documentation to the Monad module
Merge branch 'feature/monad-moduledoc' into develop