basic insert-only list-backed heap. heap type customizable by passing a lambda for the compare function
Finish heap, add verify function

* heapify-down
* find (idempotent)/get (remove) most extreme node according to cmp
* delete index