Typescript ecosystem calls these "branded types" (branded like cattle, presumably) which I found to be a good evocative name.