renaming a constructor renames the type