A string stream is a stream which reads input from or writes output to an associated string.
The stream element type of a string stream is always a subtype of character.
\issue{TYPE-OF-AND-PREDEFINED-CLASSES:UNIFY-AND-EXTEND} \issue{STREAM-ACCESS:ADD-TYPES-ACCESSORS}