[code-reflection] RFR: Document quoteOp and quotedOp methods [v8]

[Paul Sandoz]

On Fri, 22 Aug 2025 09:25:56 GMT, Mourad Abbay <mabbay at openjdk.org> wrote:

>> Specify the behaviour of quoteOp and quotedOp methods.
>
> Mourad Abbay has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Apply suggestions

Looks good, please address the doc comment before integrating.

Lets review the naming and follow up with another PR. I am inclined to think of this as embed and extract.
- `quoteOp` is renamed to `embedOp`, as in embeds an operation into its quoted form.
- `quotedOp` is renamed to `extractOp`, as in extracts an operation from its quoted form.
That naming seems more evocative as to the mechanics.
(Regardless of the names, both form an embedding-projection pair.)

-------------

Marked as reviewed by psandoz (Lead).

PR Review: https://git.openjdk.org/babylon/pull/512#pullrequestreview-3145735582