scala.tools.nsc.matching.ParallelMatching.MatchMatrix
VariableRule: The top-most rows has only variable (non-constructor) patterns.
translate outcome of the rule application into code (possible involving recursive application of rewriting)
VariableRule: The top-most rows has only variable (non-constructor) patterns.