translator: Translator<Locale> = ...

A translator is an instance of a Translator providing the mechanisms that allow the Gobstones language components to provide error messages and CLI interface in different languages.