more precise isMacroApplication check

Replaces the `symbol.isMacro` check with `symbol.isTermMacro`.
Doesn’t make any difference to trunk but helps a lot with macro annotations.
Merge pull request #3134 from xeno-by/topic/is-term-macro

more precise isMacroApplication check