Renaming of existing types turned out to be too complicated because the code depends on checker.typeToString, and there is no way that I know of that would allow renaming of an existing type.
