expr translation to internal OCaml AST.