restructured
matching symbols and productions
testing findMatch
finished matching and top-level derivative