Examples of types are the set of integer numbers, denoted by int, the set of real numbers,
denoted by real, and finite sets of constants such as {fever , jaundice, headache}. Note that a
domain declaration is similar to a variable declaration part in, for instance, Pascal. It restricts
the values a variable may take.