renameAnnotation

The proto keeps annotations of its own: type-use ones live nowhere else, and the compiler reads declaration ones from here in preference to the class file. Their ARGUMENTS name classes just as their own type does.