Better Destructor mixin

This mixin is better since it is simpler and everything happens at
compile time. I made a mistake last time which caused me to not do it
this way in the first place.