Un type détermine un domaine de valeurs, un codage (une représentation binaire) et
un ensemble d'opérations autorisées. Certains types sont dits primitifs, ils sont définis
par le langage ; d'autres sont dits composés, ils sont définis par composition de types
plus simples (pas nécessairement primitifs).