Add an .mli file