Alan Zimmerman authored Oct 04, 2020 and Ben Gamari committed Oct 21, 2020

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

(cherry picked from commit ea736839)