943: Single context per rule
I propose we introduce the principle that each rule must have a single context. If a rule currently has multiple contexts then it must be split into multiple rules. If a rule has multiple contexts, then it is merely coincidence that it works across both structures. If it works across multiple contexts because of a … Continued