Literals

A literal is a type that expects a text from a pre-defined set of possible texts.

An example of this would be with the done command, which expects either of tl, rd, ts, pr or qcts as the text.