Le types sémantiques sont définis dynamiquement par des fonctions utilisateur :

• Hiérarchie classique de classe.

• Héritage multiple.

• Définition par prédicat (nombre positif).

• Sous typage (cette classe peut-elle être XXX)

Si les classes ne sont plus respectées (nombre positif devenant négatif) la valeur et toutes les valeurs dépendantes sont invalidées.