Language support

In this section we details which parts of the OCaml language are supported, and how they are translated to Coq.