Matcher Simplification

[Grant-Nelson]

Need to add a way to simplify and reduce a group of matchers to the best matcher. The best matcher doesn't have to be the smallest matcher, it should be the fastest to perform (which is likely also the smallest).