internal/tools: links for annotated-types