It is sometime suggested that types are really variables too, like relvar, for example, legal employee number might grow from three digits to four as a business expands, so we might need to update “the set of all possible employee number”, Discuss,