renaming typecheck types