Remove functions that do not exist anymore

ExceptionHandling spec: explicitly mention what returns true/false means (hasNewData or dataLost) each time

ExceptionHandlingSpec: Finished the proof reading except for simplifying C.2.4. Intentionally left as a single commit to simplify diffing

[wip] exception handling spec: remove A.2.2.5, which has become obsolete due to changes in the TransferElement spec

See B.9.2 of the TransferElement spec

[wip] exception handling spec: fix for async read transfers and initial values (also after recovery)

[wip] exception handling spec: many small corrections + start corrections about initial value after recovery for wait_for_new_data (still wrong!)

[wip] exception handling spec (and other specs): fix numbering, fix broken references, add links for all references

[wip] exception handling spec: mainly split comment subsection of section B into smaller comment sections for each subsection of B