pub const ADVANCE: Rule;
The rule that always closes the table: the arg-max that picks the next token moves the step on.