Fixed warnings in types/Unify