-- Andreas 2021-02-02 -- Wrong type for (:[]). Bar. Foo ::= "foo"; (:[]). [Foo] ::= Integer; -- Wrong type.