yet another version of remove
Purely functional binary heap is almost ready