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

EInt. Exp1 ::= Integer;

coercions Exp1 2;