Implement ht destroy

Solves #60 .