Fixed types_unify.