These aren't meant to be comprehensive. They're just the features that most interest me. CFA = control-flow analysis.
1.4: union types and better inference on generics using the union type
1.6: JSX, intersection types, generic type aliases
1.8: type params referring to other type params, string literal types