user defined types with uniqueness attributes not accepted by iTasks compiler
This type definition from the language manual is not accepted:
:: Tree *a = Node *a [Tree *a]
This type definition from the language manual is not accepted:
:: Tree *a = Node *a [Tree *a]