Built-in data type hiearchy.

Custom derivations (e.g. integers between 1 and 10).

Value enumeration.

Lexical pattern matching (e.g. regular expressions).