Random tests for STRING-NOT-GREATERP.
Bug fixes and improved indentation.
Random tests for STRING>=.
Random tests for STRING-NOT-LESSP.