[code-reflection] RFR: Validate arguments types when interpreting an operation [v5]

[Mourad Abbay]

> We don't validate arguments types in the interpreter. This PR add the validation allowing us to catch invalid arguments early.

Mourad Abbay has updated the pull request incrementally with one additional commit since the last revision:

  Apply suggestion
  
  Co-authored-by: Paul Sandoz <paul.d.sandoz at googlemail.com>

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

Changes:
  - all: https://git.openjdk.org/babylon/pull/509/files
  - new: https://git.openjdk.org/babylon/pull/509/files/3db706b0..7f2b97bf

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=babylon&pr=509&range=04
 - incr: https://webrevs.openjdk.org/?repo=babylon&pr=509&range=03-04

  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/babylon/pull/509.diff
  Fetch: git fetch https://git.openjdk.org/babylon.git pull/509/head:pull/509

PR: https://git.openjdk.org/babylon/pull/509