What are the plans to improve expression equality checks?

[lastmjs]

I'm very curious as to what can be done to improve the accuracy of the expression equality check.

[dqnykamp]

We are improving the expression equality check for version 2. If there are any particular errors you want us to verify that we've fixed, let us know.