Fix a TODO in the compiler

AnnProvenance now has Functor, Foldable, Traversable instances.