Introduce step-process (as composition of deliver-event and apply-transition)
Clean up contract-like transition-checking.
More flexible tracing of worlds