A datatype representing a sequence of characters.
Note: In specifications strings are represented using UnicodeUTF-8 encoding.