More bug fixes. More equivalent merging. Switch to double-worklist. Now
the only problem is how to make semisparse much faster.