²Nothing happens if X is changed from the kind [NatSet] to the kind [Nat], since NatSet and Nat are in the same kind.