Add value-producing match expressions

[itsfuad]

Extend statement-only exhaustive match into value-producing expressions. Define arm type unification, ownership transfer, cleanup, divergence, and control-flow joins. Preserve single subject evaluation and exhaustive fully named variant coverage.