added an 'ignore_zero' argument to Unify_unify()