IMHO, Union types are the one the most important features that should have been in programming languages since C. And I believe it would have made our software

IMHO, Union types are the one the most important features that should have been in programming languages since C. And I believe it would have made our software much more bug free than it is generally now. Enums in all languages should be Rust like enums with exhaustive checking and allow recursive definitions.