This partly reverts d5ab1447, where the existing doReadTransfer overrides
were removed. This commit gets the existing implmentations back, but
changes the function name to doReadTransferSynchronously.

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