Cl-Annot-Prove is an Annotation Syntax Test Library. https://github.com/Rudolph-Miller/cl-annot-prove