Before this change, a list was used as a substitute for a heap.
This led to quadratic behavior on a simple program (see new
This change replaces it with IntSet in effect reverting
5a1a2633553. @simonmar said it's fine to revert as long as nofib
results are good.