Annotation for structural pattern matching in Java, enabling concise and expressive pattern matching.