Merge pull request #976 from lucaswerkmeister/master

Fix type parameter in spec example
Fix definition of TypeList in the spec

The previous definition

    TypeList: (EntryType ",")* UnionType ("*"|"+")?

would only allow type lists like

    X->Y, A->B, X*

but not

    X, Y, A, B, X*

because X, Y, A, B are not EntryTypes.