[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

[wip] exception handling spec: clarify behavior if DataValidity::faulty already set before an exception

[wip] exception handling specification: add section with requirements for the TransferElement and other minor changes