Strings are defined using the built-in
string type like this:
Strings can be concatenated using the
Substrings can be extracted using the predefined function
String.sub. The first character has index 0 and the interval of
indices for the substring has inclusive bounds.
⚠️ Notice that the offset and length of the slice are natural numbers.
The length of a string can be found using a built-in function: