-- Andreas 2021-02-02
-- Coercions only applicable to ordinary base category.

Foo.  Id2 ::= Integer;  -- Id2 is an invalid category name since Id is a token category.
EInt. Exp ::= Id2;

token Id letter (letter | digit)*;
-- coercions Id 2;