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.