heap::push() implemented
heap renamed to priority_queue