is_rowP use now 3-term comparison
Fixed leqXnatE and friends
Improved plactic restriction to intervals
Better use of implicit argument for leqX and friends.
Generalized the use of =Pl.