Massive refactoring (2/2): Conjunct keeps track of all originating rules

Front end fixed. Signal tables are now per conjunct, rather than per rule.