Synchronous implementation

[TomasMikula]

Support running a Libretto program until quiescence, i.e. until there is no more reduction possible (without external stimulus).

It will be useful in:

• testing (#9);
• UIs (for ensuring all synchronous effects of a UI event have been processed before returning control to the low-level UI framework).