This library defines syntax for annotations that used to be understood
by MrSpidey. The annotations are associated to syntax objects via
properties (see section 12.6.2 in PLT MzScheme: Language Manual), and the syntax forms below
otherwise expand away. The following macros are defined: