scala.tools.nsc.matching.ParallelMatching.MatchMatrix
mixture rule for unapply pattern
translate outcome of the rule application into code (possible involving recursive application of rewriting)
mixture rule for unapply pattern