The Text interface provides the abstraction of immutable strings (finite sequences) of characters.
TYPE T = REF; RefArray = REF ARRAY OF T;
A value of type T represents a Text, that is an immutable character string.
