might error when retracting a BC rule.
Issue #38 "better printing of :- items, and better type checking for :-, |=, &="

`:-` and `|=` are now synonymous.