A dialect of Unlambda that supports delimited continuations