Alternativas de or-pattern vinculam nomes ou tipos incompatíveis

Toda alternativa de um or-pattern (`A(x) | B(x)`) precisa introduzir os mesmos nomes com tipos compatíveis, já que o corpo do match roda depois que qualquer alternativa der certo e pode ler o nome que ela vinculou.