Change MaybeAnn to AddAnn
Starting on documentation