Generics now deal with negations properly when nested within rules. (see Demo 2b in genericinfer.sneps for example)