A string is a specialized vector
whose elements are of type
character or a suptype of type
When used as a type specifier for object creation,
size—a non-negative fixnum, or the symbol *.
This denotes the union of all types
for all subtypes c of
that is, the set of strings of size size.
Section 16.1 (String Concepts), Section 2.4.5 (Double-Quote), Section 188.8.131.52 (Printing Strings)