heap: remove empty destructors