Draft: rend-spec-v3: Specify INTRODUCE_NACK handling

Apropos arti#966.

I basically made this up based on my understanding of what we discussed on IRC. It will need careful checking by an expert!