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

EInt. Exp      ::= Integer2;  -- This category name is illegal since Integer is a builtin category.
Foo.  Integer2 ::= Integer;