Updating: tidying up.
Updating: improving libats/linheap_binomial2