Declaration site variance is good, except that for Java I have doubts because it's being added in addition to what it currently has.

Specialization for value types != reification and from what I understood from their proposal they are not introducing reification, for one because they still have backwards compatibility concerns, but also because they don't want to screw other languages. I hope those plans haven't changed.