get rid of Destroyer
wip
fewer casts
use std::vector to store Heap::tables
Commit