cleaned up Matcher interface and PatternMatcher; implemented a new NonACPatternMatcher that is non-recursive
further cleanup; used NonACPatternMatcher for macro expansion
fixed failing tests
Merge pull request #1019 from yilongli/non-recursive-pattern-matcher-new

Non recursive pattern matcher
fix typo in class name "CompleteSortLatice"
first try for equivalent sorts