Repair comparison identities and witness order

Language comparison loses product states and sometimes returns the wrong tie-breaking witness. Preserve ordered state pairs and traverse symbols lexically in the breadth-first search.

Work with the stack you want to practice. Your workspace and timer start after you choose.