add is-nfa? and is-dfa? and some comments for future work.