Basic caml to coq converter. Under development