Define-before-use constraints

In older versions of Kimwitu, both phyla and operators had to be defined before their use in a pattern such as appears in function definitions and rewrite rules. More recent versions of Kimwitu no longer impose this constraint (version V3_0 or newer).