Cada Atributo (calculado e inicializado) debe especificar su tipo (type).
Para la mayoría de las expresiones, el type es fijo (por ejemplo la expresión all devuelve siempre un booleano) o se puede deducir (por ejemplo un reference devuelve el tipo declarado por el atributo (Attribute) de referencia).
Sin embargo, en el caso de algunas expresiones se debe especificar el tipo (type) explícitamente. Estas expresiones son:
Adicionalmente, la expresión fixedlist declara el tipo de elemento en la Lista devuelta en la sentencia listof.