Good summary. Also algebraic data types, although that typically accompanies the pattern matching you mentioned.

Protocols are fairly close to traits, and I much prefer that approach (and Scala's traits), to traditional OOP.