Pattern matching en switch: patrones de tipo, patrones de record y guardas when

El pattern matching (coincidencia de patrones) permite que un switch pruebe el tipo y la forma de un valor, no solo compararlo con constantes. El selector puede ser cualquier tipo de referencia, como Object o una interfaz sellada. Cada case contiene un patrón, y cuando el patrón coincide, sus variables quedan vinculadas y listas para usarse en esa rama. Esto reemplaza largas cadenas de comprobaciones instanceof y casts.