Let matcher-intersect flexibly combine success-values; add matcher-relabel
Remove the old pattern.rkt
WIP