[clean-list] understanding list type definition

[Jigang Sun]

On language report 2.0, page 115,

ListType = [[ListKind] Type [SpineStrictness]]
Type = {BrackType}+
BrackType = [UniversalQuantVariables] [Strict] [UnqTypeAttrib] TypeExpression

Type Expression = TypeVariable // see A.7
|typeConstructorName
| (Type)
| PredefinedType
| PredefinedTypeConstructor

PredefinedType = BasicType
| ListType
| TupleType
| ArrayType
| ArrowType
| PredefType

BasicType = Int
| Real
| Char
| Bool

so a list type [Int Bool] is legal?

Jigang