-- 2021-02-11 Andreas -- Labels may not clash with categories. Foo . Bar ::= Integer; Integer. Foo ::= String;