Added Amb monad.
The Amb monad is a part of the private/monad/accumulator module.
Introduced lazy-List and lazy-Set monads, instead of Amb.
Completed test for monads of List family.