better syntax for nfa.ml build nfa