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]