Trivial changes in CommittedChoice interface.
Adds "+" method to DistMap class.
WIP: improvements to tree generation and explore function in delayed choice monad.