Las alternativas del or-pattern vinculan nombres o tipos incompatibles

Cada alternativa de un or-pattern (`A(x) | B(x)`) debe introducir los mismos nombres con tipos compatibles, ya que el cuerpo del match corre después de que cualquier alternativa tenga éxito y puede leer el nombre que esa alternativa vinculó.