renaming of types