fixing bug on the type unification algorithm