[code-reflection] RFR: CoreOps to CoreOp, ExtendedOps to ExtendedOp [v2]

[Maurizio Cimadamore]

On Thu, 2 May 2024 21:46:27 GMT, Paul Sandoz <psandoz at openjdk.org> wrote:

>> Rename `CoreOps` to `CoreOp` and become the top-top for all core operations. Same for `ExtendedOps`.
>
> Paul Sandoz has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Remove errant insert when refactoring

Marked as reviewed by mcimadamore (Reviewer).

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

PR Review: https://git.openjdk.org/babylon/pull/73#pullrequestreview-2037776447