equality on heaptrees