- ReadMe fixed.
- Maybe monad using tested.
- Naming refactoring is done.
- shadowStabilizing() made fully monadic.

Presentation tip: potential place to lift from one monad to another, see
ambermechanics.h.