Corrected bug introduced in SyntaxTest for Order.
Implemented pmin, pmax for sequences, finding the subset of minimal/maximal elements.