This PR shifts the variant logic into VariantSolver.v3, and migrates away from the use of DataNorm to VariantNorm. VariantNorms are able to represent both enum-like variants (no fields) and single-case, flattened variants.
This does not add any additional functionality.
This PR shifts the variant logic into
VariantSolver.v3, and migrates away from the use ofDataNormtoVariantNorm.VariantNorms are able to represent both enum-like variants (no fields) and single-case, flattened variants. This does not add any additional functionality.