(/=) Fix rewrite (+) more tests on rewrite

now also works when comparing to literals, arguments, etc
(+) nicer printing of syntax trees (show value of leafs)