reworked semantics. continuations are now allocated. description of effects is done abstractly and concrete instances are given later.