Use the (message) form exclusively
Introduce a (file-name) form
Document translation functions
Add comprehensive docstring for -define-checker