[clean-list] uniqueness attributes of data constructors

[erik.zuurbier at tiscali.nl]

Wolfgang wrote:

>in the following mail I use the notation ^*, ^x and 
^u/^v for uniqueness 
>attributes "unique", "non-unique" and 
"variable".

Why don't you post the source code itself? The ordinary 
uniqueness notation is good enough. That also gives
us the opportunity 
to see the function/constructor-applications and pattern matches you 
describe.

Regards Erik Zuurbier