string-length
string-length : (string -> nat)
purpose: to determine the length of a string