definit

'Diff and deinit'. Compares data structures, calling destructors on 'removed' objects.