[crematoria]

Yep, sum and linear types are two of the biggest improvements of Rust over, say, C++. The third would probably be that it's a lot smaller than C++.