Trait Destruct

A marker for types that can be dropped.

This should be used for [const] bounds, as non-const bounds will always hold for every type.