Added an equality test for bindings, which ignores the order of the terms.