I have made the source changes appropriate to the new microcoded NTH, NTHCDR, and string functions. STRING-EQUAL and forwards non-set string searching should be very much faster. Also more vestiges of case-shifts in strings have been flushed (they hardly worked anywhere.)