Fix: use correct $rule for violation message
Rename: quads ~> makeQuads

And remove redundant export.
Don't nub invariant conjuncts

Otherwise, breaking conjunct expressions that are part of multiple rules will only report failure of one of those rules.