The set of annotations used or recognized by the Julia analyzer