Tagged Union, Tuples, Pattern Matching and D will reign as greatest modern non-OOP system language, the best better C and alternative to C++ language