Algebrite should treat arbitrary equal expressions as equal

[Negabinary]

In here, we don't need to give the rewrite checker any semantics of length, but it should be able to see that these two are the same.