이 유형 표시의 설계에서는 임의의 복합 유형을 수용하지만 실제로 복잡도를 제한하는 현재 구현에는 여러 제한사항이 있습니다. 특히, 현재 구현에서 기본 유형, 기본 유형의 튜플, object collection, string collection 및 이러한 지원되는 유형을 사용하고 리턴하는 함수(리턴 유형에 대한 튜플 제외)를 지원합니다. 또한 유형(object → string) x object collection → string collection(기본 제공 함수 맵의 유형), (object → boolean) x object collection → object collection(기본 제공 함수 필터의 유형) 및 순회와 정렬을 위한 기타 유형에 대한 특수 지원이 있습니다.