Added an equality function for (''a, Binding) tuples.