Chaque Attribut (à la fois calculé et initialisé) doit spécifier son type.
Pour la plupart des expressions, le type peut être fixe (par exemple, l'expression all renvoie toujours une valeur Boolean) ou peut être induit (par exemple, une reference renvoie le type déclaré par l'attribut référencé).
Toutefois, pour certaines expressions le type doit être spécifié explicitement. Il s'agit des expressions suivantes :
En outre, l'expression fixedlist déclare le type d'élément de la liste renvoyé au sein de son instruction listof.