Type constraint
constraint that restricts the type of value an item may have