Core backend for OCaml expressions.