Improve linting annotations

[pdawyndt]

The linter already makes a difference between annotating a position in between two characters (triangle) and a sequence of characters (wave line below characters). Given the following example

I would prefer to put a wave line below the pof print (as in the compiler output), as in the following case

In case we do not have sufficient information to make a distinction between a position between two characters and a region of one character, I would at least expect the triangle to be before p and not after it.