Bug fix and added comments to STRING<.
Random tests for STRING-EQUAL.
Random tests for STRING<.