experimental/cpu: links for annotated-types