Unification Algorithm In F#