Updated comments.
Introduced monad MonadDES.