-- Andreas 2021-02-02 -- Can only use (:[]) with list categories. (:[]). Foo ::= Integer;