-- Andreas 2021-02-03
-- Cannot use list categories with ordinary labels.

Bar.  Foo ::= "foo";
Cons. [Foo] ::= Foo [Foo];