More haddock comments.
Generalized class PriorityQueueStrategy via introducing a dependent type, which implies two strategies StaticPriorities and future DynamicPriorities.