add a normalizer for `System T` (to serve as a base for a System-T supercompiler)