Implement Java Compiler Plugin for witness resolution verification

[Garciat]

For now I have duplicated the resolution implementation. I tried having a unified implementation but I got stuck modeling the types so they fit both worlds. That remains a task for future work.

I also dropped support for context instances in the checker.

Fixes #14

[codecov]

Codecov Report

❌ Patch coverage is 67.72908% with 81 lines in your changes missing coverage. Please review.
✅ Project coverage is 66.87%. Comparing base (9ed5275) to head (0ede536).
⚠️ Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
...iat/typeclasses/processor/StaticWitnessSystem.java	65.07%	9 Missing and 13 partials ⚠️
...rciat/typeclasses/processor/WitnessResolution.java	37.14%	20 Missing and 2 partials ⚠️
...ypeclasses/processor/WitnessResolutionChecker.java	81.44%	12 Missing and 6 partials ⚠️
.../com/garciat/typeclasses/processor/ParsedType.java	29.41%	12 Missing ⚠️
...com/garciat/typeclasses/processor/Unification.java	86.20%	2 Missing and 2 partials ⚠️
...at/typeclasses/processor/OverlappingInstances.java	66.66%	0 Missing and 3 partials ⚠️

Additional details and impacted files

@@             Coverage Diff              @@
##               main      #16      +/-   ##
============================================
+ Coverage     66.49%   66.87%   +0.38%     
- Complexity      224      289      +65     
============================================
  Files            47       54       +7     
  Lines           567      818     +251     
  Branches         42       77      +35     
============================================
+ Hits            377      547     +170     
- Misses          168      223      +55     
- Partials         22       48      +26     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.