Add test coverage for TypeClasses witness resolution#7

Garciat merged 12 commits into

mainGarciat/java-type-classes:mainfrom

copilot/write-tests-for-type-classesGarciat/java-type-classes:copilot/write-tests-for-type-classesCopy head branch name to clipboard