Evaluate Pattern matching, matchToITE no longer necessary

More precise tracing, especially for in-IDE exploration of execution