Reorganize completion.mli