[clean-list] Grammar definition inconsistent in language report

[Jigang Sun]

Could anyone check Clean 2.1 grammar in language report?

Function typing on page 26, right side if -> is type

FunctionType = Type -> Type [ClassContext] [UnqTypeUnEqualities]

but on page 112, Type_Expression other than Type 
FunctionType = [Type -> ] Type_Expression [ClassContext] [UnqTypeUnEqualities]

Could right side of arrow be BrackType ?


class type definition on page 58, one multiple occurences of TypeVariable:

TypeClassDef = class ClassName TypeVariable+ [ClassContext]
[[where] { {ClassMemberDef}+ }]
| class FunctionName TypeVariable+ :: FunctionType;
| class (FunctionName) [Fix][Prec] TypeVariable+ :: FunctionType;


on page 116, one occurence of TypeVariable 

TypeClassDef = class ClassName TypeVariable [ClassContext]
[[where] { {ClassMemberDef}+ }]
| class FunctionName TypeVariable :: FunctionType;
| class (FunctionName) [Fix][Prec] TypeVariable :: FunctionType;

Thanks.
Jigang