semantic: Fully implement destructors
rt: Implement destructors/finalizers