Better automatons

Partial executions don't have to know whether they're complete: the automaton already knows.
Simpler State operations.
The engine receives complete PEs and can directly choose one.