New Strings Library#
A new library of basic string operations is now available as a
standard library. The new strings library replaces most of the code in
string-extensions library and provides a simpler and more
string-extensions will eventually be retired when
the remainder of the code there is moved to the
regular-expressions library, which is its only client.