A type that encapsulates an atom of text. Lists of characters make up strings.
datatype character