Added file unification.py that contains the unification code & implemented separated negate & push_negation for connectives and Quanitifiers