Improvements to object destruction
Updated to Rust master