Renames TypeSet to Type