Added typeset name normalizer.