Start adding a basic .mli