> But you could also break the tail-call discipline of CPS and translate [shift e] as \k. (k [e](\x.x))
> Or you can use our 'abstract' continuations to manipulate a stack of continuations directly.
What are your 'abstract' continuations? Sounds very interesting.