I would argue that death is not a type but a state.
The state changes, but the type doesn't. It is just not longer visible. You have to memorize the type while the state is clearly visible.
I think Avri Klemer has raised an interesting question, since the dead agent did not change his type.
Which raises a good question - does an agent have to be alive to be part of an identical pair . . . ?