-- 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