Research approaches for reducing the number of structure variants
Some algebraic structures have up to five "variants": abstract, additive, numeric additive, multiplicative, and numeric multiplicative.
Research design approaches for reducing the number of these variants and traits, e.g. some kind of trait "context" that can be abstract, additive, or multiplicative. A key challenge will be ensuring clients of a structure variant can comprehend the variant without also tracking through complex nested trait bounds or implementations.