undoes macro expansions in annotation arguments, because transformers won't do that