As described in `proposals/exceptions/Exceptions.md` and in
`proposals/exceptions/Exceptions-formal-overview.md`.

* Detailed changes from the previous (2nd proposal) formal spec:

  - Removed:
    + the reference type "exnref" is removed,
    + the administrative instruction "REFEXNADDR" is removed,
    + Release dependencies "bulk instructions" and "reference types" are removed.
  - Renamed:
    + "exn" and (most occurrences of) "exception" renamed to "tag",
    + "EITYPE" renamed to "TAGITYPE",
    + "ETYPE" renamed to "TAGTYPE",
    + variable names for tags changed from "et" to "tt" or "tagt" and "iet" to "itagt",
    + "CATCHN" is renamed to "CATCHadm".
    + "THROWADDR" is renamed to "THROWadm".
  - Adjusted:
    + syntax and rules for "TRY-CATCH", "RETHROW", and "CATCHadm",
    + folded text format for "TRY-CATCH",
    + validation example of control frame with opcode catch.
  - Added:
    + validation example of control frame with opcode catch_all,
    + administrative instructions "CAUGHTadm" and "DELEGATEadm" with rules,
    + syntax and rules for "TRY-DELEGATE".
  - Most prose that is changing in the 3rd spec is removed and a temporary "**TODO: add prose**" is added.
    + This will be updated in a followup PR to include the new prose instead.
    iIn several places added or adjusted prose or added TODO items to add prose in a followup PR.
  - Several similar **TODO**s are added for uncaught exceptions.

Co-authored-by: Heejin Ahn <aheejin@gmail.com>
Co-authored-by: Andreas Rossberg <rossberg@mpi-sws.org>

Pending to address the rest.

…idxs

Review comment was overlooked:
https://github.com/WebAssembly/exception-handling/pull/180/files/4bd749a8895434c14b3bf3dda23463e3962192c4#r820732541

Co-authored-by: Heejin Ahn <aheejin@gmail.com>

Co-authored-by: Heejin Ahn <aheejin@gmail.com>

In particular:
- WebAssembly#180 (comment)
- WebAssembly#180 (comment)

… in the previous commit.

This comment: WebAssembly#180 (comment)

Co-authored-by: Heejin Ahn <aheejin@gmail.com>