Added non-transactional priority queue PQUEUE, implemented by binary min-heap:
it will be the base for a transactional version.