Fix parsing of pragmas containing unicode characters; fixes #7671
Fix a TODO in the compiler

AnnProvenance now has Functor, Foldable, Traversable instances.
Update submodule
Clarify comment