Updated specifications

[Dan Smith]

> On Jun 5, 2024, at 10:42 AM, Dan Smith <daniel.smith at oracle.com> wrote:
> 
> The clarification I wanted to make, in particular, is that verification can lead to loading, independently from resolution.

Oh, and also: that LoadableDescriptors can now lead to loading "during any phase of linking".

This is meant to be a general sentence that just says, as an introduction to the concept of linking, that sometimes specified linking activities can lead to further loading.