Generic priority queues: type generic, reeenrtant.

Currently implemented algorithm is the fibonacci heap.

