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

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

define f e = [ e ] ;  -- list at non-list type