Validating Variant and Visitor Patterns

Ensure exhaustive visit coverage when handling sum-type patterns in polymorphic designs.