pub type ValidLRTableau = (Semistandard, LatticeWord);
A valid LR tableau (semistandard + lattice word condition).