[clean-list] About abstract synonym types...

[Fabien TODESCATO]

Dear Cleaners,

The Clean home pages advertises the new 2.1 version as featuring 
"abstract synonym types". I couldn't however find any explanations nor 
any syntax definition in the relese 2.1 of the language report that 
ships with the system.

Is this "abstract synonym types facility" the equivalent of the 
"newtype" construction in Haskell ? And if so, are recursive type 
definitions supported ?

Thank you for your much appreciated help,

Fabien Todescato