Handle wildcards in patterns correctly.

    If we have a wildcard, prefer it over any equal node. This means
    that something like:

        match x
        | (x, false):
        | (false, x):
        | (false, false)
        ;;

    will correctly be detected as having a redundant match.