polished up some include statement, vector and symbol to Collection.h, and updated nfa_copy to account for state tokens