Renamed to monadic-edsl
Comments about monad laws
Broke out example to a separate file. Added comments explaining DeepMonad.