Added an equality test for Unifiers.