Support chaining of inference steps with Expr.apply and Expr.rewrite.
Add Expr.concat.
Run tests of facts separately from each other,
add test of Expr.concat,
add debugging display of failures that can show a partial proof.
Add some facts, and more facts commented out awaiting handling of x != 0 conditions.