Added appropriate matcher types for patterns.  Added preamble for debugging purposes.