Add some negation facts and a subtraction fact.
Add facts for distributivity with subtraction, and one more negation w multiplication.
Another subtraction rule.
Change names in facts to a, b, c
Make Expr.asHyps call rules.asHypotheses.