-- Andreas, 2021-02-05
-- Type checking error.

EInt. Exp ::= Integer;
id.   Exp ::= "(" Exp ")" ;

define id e x y = e ;  -- Too many parameters.