Add a new, generic, type translator.
Plumb around a types translator instance to rules context.
Use new context translator in place of static one.
Make CHAR translate to VARCHAR for the moment, until overload problems with VARCHAR + CHAR are resolved.
Remove old static translator.