Introduced __eq__ in DiffMapping; dest_map set to domain._identity_map for the identity map