Implement compiler AST rewrite infrastructure for parameterless witness()#24

Garciat with Copilot wants to merge 6 commits into

mainGarciat/java-type-classes:mainfrom

copilot/implement-ast-rewrite-witness-methodGarciat/java-type-classes:copilot/implement-ast-rewrite-witness-methodCopy head branch name to clipboard