NewParser - added a visitor that transforms K syntax into the NFA states required by the new parser.
                    - not tested
                    - TODO - once Michael finishes with rules that apply labels on terms, modify the sort returned by constants
                                   - at the moment, every state requires OrderingInfo. Remove that requirement in the future, once the ordering algorithm is sorted out.