모든 속성(계산된 속성과 초기화된 속성 둘 모두)은 type을 지정해야 합니다.
대부분의 표현식에서 type은 고정(예: all 표현식은 항상 Boolean을 리턴함)되거나 유추(예: reference는 참조된 Attribute으로 선언된 유형을 리턴함)될 수 있습니다.
그러나 일부 표현식에서는 type을 명시적으로 지정해야 합니다. 이러한 표현식은 다음과 같습니다.
또한 fixedlist 표현식은 listof문에서 리턴된 List에 항목 유형을 선언합니다.