Move given/when ~~ note below item introducing it

The note explaining to use $c ~~ $_ instead of $_ ~~ $c was put under the item introducing all binary operators, and not the one mentioning the explicit smartmatch operator.