Modelica frontend implemented in OCaml