Allow asking one match whether it is the superset of another

Useful for filtering using match1 in match2

Logic is a bit tricky, but I think it's correct

As with everything else, it's lightly tested, and it works in my usecases