don't match pat1 = pat2 as e = e

eg if you're matching pat = pat, and you see x = e with pat matching
e, then previously we would look for x = e' with e' matching pat.
But then we would just pick the trivial substition pat = e...
more faithful pretty printing of args and rets