fix Unif.Unary.eq