Fix typespec for pqueue4.