I thought you could implement those in terms of delimited continuations easily by making your top level the delimiter.
That's something I have thinking about lately. It would be interesting to know if there's any prior work of implementing delimited continuations on MLIR.