sync CHANGES
depend on ocaml4+ (use of `%revapply` in `Operators`)