Added unit tests for the unify function, and an appropriate equality test function.
Altered the unify function to take a Unifier argument as well as a Binding, and to verify that the Binding is consistent with the input Uniifer.
Added a findUnifier function that takes a term and returns true if the term is true according to the hardcoded prolog program.