Implement compile-time witness resolution verification#15

Garciat with Copilot wants to merge 3 commits into

mainGarciat/java-type-classes:mainfrom

copilot/implement-annotation-processorGarciat/java-type-classes:copilot/implement-annotation-processorCopy head branch name to clipboard