Introduce caml-types.el (Add -annot)