[ocaml] use Arg module to parse command line arguments; add type-error2.sfp