Are these the only thing you want to annotate? What about FunctionExpression, ClassExpression? Maybe even parts of ObjectLiterals?