Internalise ExecController.onExecFinish().
Degenerify mutable registry.
Get rid of ExecContext and friends, replace with Execution.