The type ShortMonomialOrder checks if ST is a short monomial order description.

The type MonomialOrder checks if T is a monomial order, as declared by the command Groebner[MonomialOrder]. This representation is used to denote general monomial orders over general skew algebras, possibly with parameters, and possibly in positive characteristic.