Move interfaces into mli files