Make state-based sequential simulation into a catamorphism
The only reason for this not being the case up until now seems to be a minor detail: The type of state is dependent on the circuit parameter for the semantics.
Maybe we can use some sort of "dependent algebra".