An implementation of multi-prompt delimited continuations based
on the paper, A Monadic Framework for Delimited Continuations,
by R. Kent Dybvig, Simon Peyton Jones and Amr Sabry
(http://www.cs.indiana.edu/~sabry/papers/monadicDC.pdf).
It also includes a corresponding implementation of dynamically
scoped variables, as implemented in the paper,
Delimited Dynamic Binding, by Oleg Kiselyov, Chung-chieh Shan
and Amr Sabry
(http://okmij.org/ftp/papers/DDBinding.pdf),
adapted from the original haskell code,
(http://okmij.org/ftp/packages/DBplusDC.tar.gz).