Get rid of `sorted` in bindings rewrites

[inducer]

In #515, @majosm asks: # FIXME: Are these sorts still necessary? in relation to code like this:

... for name, subexpr in sorted(expr.bindings.items())}

I believe that we can now do without those, so we should try to get rid of them. (post #515)