arti cfg tests: exception declaration improvements
Make declare_exception take distinguished old/new types as per discussion in !1320 (comment 2916689) and IRC followup.
And some other tidying to try to assist the future contributor who needs to declare an exception.