[refactoring] typing/cmi_format: type-annotate {input,output}_value for safety
[refactoring] typing/cmi_format: type-annotate {input,output}_value for safety

gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml,gerdstolpmann/ocaml