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

f.  Exp ::= "(" Exp ")" ;

define f e = EPar e;  -- undefined constructor EPar