Added .mli for Nfa