The OCaml Compilation Pipeline

WIP