proper destructor for the table and the symbol