Add pqueue4:remove_unique/2 and pqueue4:remove_unique/3.  Fix empty state problems in pqueue4 to be stricter (not a lazy update).