Interface destructors definition. Template classes using typenames.