Better version of STRING-GREATERP.
Better version of STRING<=.