[code-reflection] RFR: Fix lowering type pattern [v2]

[Mourad Abbay]

> The lowering of TypePattern was performing unnecessary check by invoking inexistent method on ExactConversionSupport e.g. `isIntToIntExact.

Mourad Abbay has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains four additional commits since the last revision:

 - Test more
 - Merge branch 'code-reflection' into fix-lowering-type-pattern
 - Test we don't perform check for primitive identity conversion
 - Fix the logic of isNarrowingPrimitiveConversion

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

Changes:
  - all: https://git.openjdk.org/babylon/pull/772/files
  - new: https://git.openjdk.org/babylon/pull/772/files/f347b86f..807cf3d5

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=babylon&pr=772&range=01
 - incr: https://webrevs.openjdk.org/?repo=babylon&pr=772&range=00-01

  Stats: 2730 lines in 173 files changed: 1525 ins; 726 del; 479 mod
  Patch: https://git.openjdk.org/babylon/pull/772.diff
  Fetch: git fetch https://git.openjdk.org/babylon.git pull/772/head:pull/772

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