Updating: adding some libats/ML/string-functions.
Updating: adding some libats/ML/string-functions.