type-normalizer Groups similar types modulo some 'semantic preserving' operations into a common, normalized, type. (under development, not ready to be used yet).