Final touch-up for solver.ml - switching it over to the Heap implementation
Adding/updating all the write-ups