Fixtype of outcomes of exhaustive stepping.
This is a tagged union type, introduced by fty::deftagsum.
As explained in terminatingp, attempting to exhaustively stepping from a configuration may terminate or not. The values of this fixtype capture these two possible outcomes. In case of termination, the outcome includes the final environment; note that, by definition, the final configuration has no commands, so only its environment component is relevant.