-- Andreas 2021-02-02 -- Coercions pragma only applicable to ordinary base category. EInt. Exp ::= Integer; token Id letter (letter | digit)*; coercions Id 2;