matcher: fix initial state bug
add str_eqn()
nfa-debug: prettier cclasses
match: improve tests; add debug