-- Andreas, 2021-02-05
-- Parameters in lhss of 'define' should be lowercase.

coercions Exp 1;
EInt.  Exp1 ::= Integer;
EPlus. Exp  ::= Exp "+" Exp1;
eSucc. Exp ::= "suc" Exp1;

define eSucc X = EPlus (EInt 1) X;  -- should warn about uppercase X