The top documents tagged [annotated types]