Forget about As_product. Use simple As_path.rel as Action IO.
Write basic OCaml product actions. Export them in the API.