Priority queue implemented using a lazy binomial heap
