The most interesting feature here (though included only as a preview) is static abstract members on interfaces, which will make things like generic math possible.
That said, I think I'd prefer the addition of structural inheritance to the existing nominal inheritance. Also, algebraic types.