Let matcher-intersect flexibly combine success-values; add matcher-relabel