Change order of macro and function definitions

The module now reads top-down.
Rename `m_do` macro to `m`
Fix typo
Add `Monad.Maybe.map_maybes/2` function