-- Andreas 2021-02-02
-- Can only use (:) with list categories.

(:).  Foo ::= Integer Foo;