DefaultSymbol added, avoid unecessary implementations.
variables renamed
NFARunner implemented
removing unecessary implementations; adding new nfa examples;