[code-reflection] RFR: Rename @CodeReflection to @Reflect

[Paul Sandoz]

On Fri, 21 Nov 2025 13:42:35 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> This PR changes `@CodeReflection` into `@Reflect`.
> 
> There are lots of changes, but all of them are shallow.

Marked as reviewed by psandoz (Lead).

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

PR Review: https://git.openjdk.org/babylon/pull/693#pullrequestreview-3493756435