added Del, the destructor type