Prevent name collisions between judgements, operations and rules
Currently there is no prevention against name collisions between judgments, operations and rules. The referees of each prevents internal collisions, but perhaps we should (because of calling conventions) prevent intercategorical collisions?