API Annotations: Keep track of unicode for linear arrow notation
The linear arrow can be parsed as %1 ->
or a direct single token unicode
equivalent.
Make sure that this distinction is captured in the parsed AST by using IsUnicodeSyntax where it appears, and introduce a new API Annotation, AnnMult to represent its location when unicode is not used.
Updated haddock submodule