Format

Formatting

formatFormula

formatIntro

formatLoading

formatPrompt

formatName

formatSubs1

formatSubs2

formatType

decolor

end

Interpreter texts

promptText

helpText

initialText

versionText

restartText

errorNonTypeableText

errorTypeConstructors

errorUndefinedText

errorUnknownCommand

errorNotFoundText