Translate keywords in definition printers

Fixes #544