"A program element that can
 be annotated."
see(`interface Annotation`)
shared interface Annotated {}