[code-reflection] RFR: Refactor type element

[Paul Sandoz]

On Thu, 2 May 2024 10:20:40 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:

> Have you considered the name OpType? Since the code model API is mainly about "ops" and types are meta-data attached to such ops, the name seems a bit less general than "code type".

(Code) Types are associated with results of operations and parameters of blocks. I did ponder `ValueType`, WDYT?
I was concerned with any misleading association with Valhalla, but that's likely silly since we already have `Value`.

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

PR Comment: https://git.openjdk.org/babylon/pull/70#issuecomment-2090795119