How to evolve OCaml to be a more effective language for agentic programming