Add OCamlMVC.mli