Add demo of an action without continuation

This patch implements an `abort` action in the demo. Its type is
`string -> 'a t` (note the similarity to
`Pervasives.failwith : string -> 'a` and `raise : exn -> 'a`).