Hay distintos tipos de propiedades disponibles para un tipo simple.
Un tipo simple puede tener las propiedades siguientes:
Un tipo simple también puede tener Conjuntos de mensajes: limitaciones lógicas de valor lógico de tipo simple.