Algebraic data types

Sum and product types (as in Rust enums/structs) with compiler-enforced exhaustive pattern matching, letting a design make illegal states unrepresentable.

grounded in: Trends theme 'Rust and systems-language ergonomics: Rust's design patterns and concurrency model are shaping how other tools evolve.'