Add some more primitive operators in OCaml backend.