rewrite ToySolver.Data.PriorityQueue using ToySolver.Data.Vec
rewrite ToySolver.Data.IndexedPriorityQueue using ToySolver.Data.Vec (bug fix)