Extensibility for `do`

`do` is a decorator for using monads in the Python function syntax, but historically it has been implemented by transaction code and it lies in their module.

You need to move `do` to `monads.py` and refactor it to use plugins, so that you can expand `do` for custom solutions and add solutions for already implemented monads, which also needs to be done.