generate (incomplete) annotations from transformed AST
improve annotation generator slightly. fix bug in AmbientModuleDeclaration transformer