updated all Matchers to Patterns

e.g., KList will specify how it behaves as a pattern matcher, not how it matches against any pattern.