Annotate C language IR with types.
Temporarily disable test that passes pointers to OCaml values to C.