言語仕様の変更が必要なので、generics型の配列とnew <E>[0]などE[]生成などの論点は、どうせならcollection literalsの論点と近いので一緒に検証するのがいいんじゃないでしょうか。
これについては、[]を上の用にbytecodeなどで拡張するのではなく、List<E>の生成シュガーでもなく、tuple (pythonなど)型リテラルを新規に導入するのが過去の互換性に縛られないので結局は一番早いかなと思います。
java言語では[]の抽象化クラスはjavaにはなく、せいぜいList<E>、場合によってはListIterator<E>なので、ラムダとかパラレルとかIterable<E>に手を入れる予定ならこの辺にもちょっと手を入れて欲しいと期待しています。