Revise the list of features

Algebraic data types and pattern matching go hand-in-hand. The latter term emphasizes the advantages, as opposed to the different-ness, and is more likely to connect with our audience.

Closures aren't a big deal, even Java has them now :)

Move semantics + guaranteed memory safety together give a strong indication of "modern C++, but better".

Generics are a big deal coming from C++.  We also hear a lot from people who choose Rust over Go because Go doesn't have generics.

Also, the new text fits in one line per bullet, on my screen.