To me the biggest news is the addition of union types so you can specify that a variable is of type x, y or z without resorting to the Any type.