Format
formatFormula
formatIntro
formatLoading
formatPrompt
formatName
formatSubs1
formatSubs2
formatType
decolor
end
promptText
helpText
initialText
versionText
restartText
errorNonTypeableText
errorTypeConstructors
errorUndefinedText
errorUnknownCommand
errorNotFoundText