Added Monad composition (Kleisli operator).
Some housekeeping.