Add a new, generic, type translator.
Plumb around a types translator instance to rules context.