Annotated.Syntax: replace hand-written Functor instances with derived ones
Add a missing case for MultiIf