A string is a specialized vector
whose elements are of type character or a subtype of type character.
When used as a type specifier for object creation,
string means (vector character)
.
Abbreviating.
(string
{[
size]
})
This denotes the union of all types
(array c (size))
for all subtypes c of character;
that is, the set of strings of size size.