Changes unify function

* unify unifies all same variables in the actual environment
* change notices