FIX: Variable unification and evaluation refined.

Unification:
	PrologVariables now unify, by one recieving the other as a value, and the other remaining with value nil.

Evaluation:
	If a PrologVariable is bound to another, they both get evaluated with the same value.