Annotation Type Synthesis