Well we need the annotations written prior to the the "export" keyword and the writer visits the export declaration before it reaches the annotated declaration.  I went back and forth on how to deal with exported declarations.  I originally had the export wrapped by the annotated declaration.  I could go back to that approach and declare ANNOTATED_DECLARATION as a valid module statement.