We added destruction functions for core types
We updated the destruction functions