[clean-list] Black Screen: lift (TFA) (unitype.icl)

[John van Groningen]

>For once something new:
>
>module test
>
>Start = test
>
>:: A i = A i
>:: B :== A.i: A i
>
>test :: [B]
>test = []
>
>gives
>
>    lift (TFA) (unitype.icl)
>
>on dreadful black screen.

A for all quantifier (A. var: ) can only be used at the beginning
of the type of a function argument, constructor argument or field
of a record. Not in a type synonym.

Unfortunately the parser accepts the quantifier almost everywhere
in a type, and this may cause a compiler crash.

Kind regards,

John van Groningen