Relational.canonical: put symbol on lhs
simplify as_relational method and put symbol on lhs

Having the symbol on the lhs makes writing expressions in tests easier
and perhaps reads easier (though I suspect that opinions will vary).
Note: pprint will put the args in sorted order.
modify relational solving
quick