Next round of type-checker errors in the standard library

[jurgenvinju]

Describe the bug

Using rascal-maven-plugin 0.6.0 which uses typepal 0.6.2 and rascal-core 0.6.2, the following errors are discovered by the type-checker in the standard library (as produced here https://github.com/usethesource/rascal/runs/4534411088?check_suite_focus=true):

Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0033:009: No pattern constructor found for `\tag` of expected type `value`
Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0024:009: No pattern constructor found for `\associativity` of expected type `value`
Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0049:061: Pattern should be comparable with `aprod(prod(aadt("ProdModifier",[],contextFreeSyntax()),[aadt("Assoc",[],contextFreeSyntax(),label="associativity")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(27347,34,<783,3>,<783,37>),label="associativity"))`, found `Assoc::nonAssociative()`
Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0047:061: Pattern should be comparable with `aprod(prod(aadt("ProdModifier",[],contextFreeSyntax()),[aadt("Assoc",[],contextFreeSyntax(),label="associativity")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(27347,34,<783,3>,<783,37>),label="associativity"))`, found `Assoc::right() or Associativity::right()`
Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0048:061: Pattern should be comparable with `aprod(prod(aadt("ProdModifier",[],contextFreeSyntax()),[aadt("Assoc",[],contextFreeSyntax(),label="associativity")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(27347,34,<783,3>,<783,37>),label="associativity"))`, found `Assoc::associative()`
Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0046:061: Pattern should be comparable with `aprod(prod(aadt("ProdModifier",[],contextFreeSyntax()),[aadt("Assoc",[],contextFreeSyntax(),label="associativity")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(27347,34,<783,3>,<783,37>),label="associativity"))`, found `Associativity::left() or Assoc::left()`
Error:  [ERROR]   lang/rascal/grammar/definition/Attributes.rsc:0035:009: No pattern constructor found for `\tag` of expected type `value`
2917341 [INFO] Warnings and errors for |file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Characters.rsc|
Error:  [ERROR]   lang/rascal/grammar/definition/Characters.rsc:0355:009: Argument 0 should have type `aprod(prod(aadt("Range",[],contextFreeSyntax()),[aadt("Char",[],lexicalSyntax(),label="character")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(17112,25,<469,3>,<469,28>),label="character"))`, found `Char`
2917341 [INFO] Warnings and errors for |file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Modules.rsc|
Error:  [ERROR]   lang/rascal/grammar/definition/Modules.rsc:0097:030: Argument 0 should have type `aprod(prod(aadt("Import",[],contextFreeSyntax()),[aadt("SyntaxDefinition",[],contextFreeSyntax(),label="syntax")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(11559,32,<283,3>,<283,35>),label="syntax"))`, found `SyntaxDefinition`
Error:  [ERROR]   lang/rascal/grammar/definition/Modules.rsc:0082:040: No pattern constructor found for `\default` of expected type `ImportedModule`
Error:  [ERROR]   lang/rascal/grammar/definition/Modules.rsc:0081:051: No pattern constructor found for `\default` of expected type `ImportedModule`
Error:  [ERROR]   lang/rascal/grammar/definition/Modules.rsc:0078:050: No pattern constructor found for `\default` of expected type `ImportedModule`
Error:  [ERROR]   lang/rascal/grammar/definition/Modules.rsc:0079:040: No pattern constructor found for `\default` of expected type `ImportedModule`
2917341 [INFO] Warnings and errors for |file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Productions.rsc|
Error:  [ERROR]   lang/rascal/grammar/definition/Productions.rsc:0048:031: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[conditional(aadt("Nonterminal",[],lexicalSyntax(),label="nonterminal"),{\not-follow(lit("["))})],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3183,44,<102,3>,<102,47>),label="nonterminal"))`, found `Nonterminal`
Error:  [ERROR]   lang/rascal/grammar/definition/Productions.rsc:0040:022: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[conditional(aadt("Nonterminal",[],lexicalSyntax(),label="nonterminal"),{\not-follow(lit("["))})],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3183,44,<102,3>,<102,47>),label="nonterminal"))`, found `Nonterminal`
Error:  [ERROR]   lang/rascal/grammar/definition/Productions.rsc:0042:042: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[conditional(aadt("Nonterminal",[],lexicalSyntax(),label="nonterminal"),{\not-follow(lit("["))})],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3183,44,<102,3>,<102,47>),label="nonterminal"))`, found `Nonterminal`
Error:  [ERROR]   lang/rascal/grammar/definition/Productions.rsc:0052:020: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[conditional(aadt("Nonterminal",[],lexicalSyntax(),label="nonterminal"),{\not-follow(lit("["))})],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3183,44,<102,3>,<102,47>),label="nonterminal"))`, found `Nonterminal`
Error:  [ERROR]   lang/rascal/grammar/definition/Productions.rsc:0054:020: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[conditional(aadt("Nonterminal",[],lexicalSyntax(),label="nonterminal"),{\not-follow(lit("["))})],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3183,44,<102,3>,<102,47>),label="nonterminal"))`, found `Nonterminal`
2917341 [INFO] Warnings and errors for |file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/grammar/definition/Symbols.rsc|
Error:  [ERROR]   lang/rascal/grammar/definition/Symbols.rsc:0039:009: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[conditional(aadt("Nonterminal",[],lexicalSyntax(),label="nonterminal"),{\not-follow(lit("["))})],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3183,44,<102,3>,<102,47>),label="nonterminal"))`, found `Nonterminal`
Error:  [ERROR]   lang/rascal/grammar/definition/Symbols.rsc:0053:009: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[aadt("Class",[],contextFreeSyntax(),label="charClass")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3462,31,<108,3>,<108,34>),label="characterClass"))`, found `Class`
Error:  [ERROR]   lang/rascal/grammar/definition/Symbols.rsc:0043:009: No pattern constructor found for `literal` of expected type `value`
Error:  [ERROR]   lang/rascal/grammar/definition/Symbols.rsc:0045:009: Argument 0 should have type `aprod(prod(aadt("Sym",[],contextFreeSyntax()),[aadt("CaseInsensitiveStringConstant",[],lexicalSyntax(),label="cistring")],src=|file:///home/runner/work/rascal/rascal/src/org/rascalmpl/library/lang/rascal/syntax/Rascal.rsc|(3533,62,<110,3>,<110,65>),label="caseInsensitiveLiteral"))`, found `CaseInsensitiveStringConstant`