-- Andreas 2021-02-03 -- Cannot use list categories with ordinary labels. Bar. Foo ::= "foo"; Cons. [Foo] ::= Foo [Foo];