Module Including_Binders.And_Continuations

Same as Including_Binders.block, but also substitutes continuation addresses.