Slightly refine pretty-printing of type names in EmitTeX.