Adding C and Ocaml bindings for ConstantExpr.