Presently, the TypeAnnotate visitor is executed during the MemberEnter stage, which is not the desirable behavior. Presently, the TypeAnnotate visitor walks down the JCTree, finding type annotations and calling annotateTypeLater, which adds a worker to the queue that eventually executes actualEnterTypeAnnotations on them. It would be better if the order of execution were rearranged so that the Worker executes the TypeAnnotate visitor, which walks down the tree and calls actualEnterTypeAnnotations on any type annotations it finds.