Есть ли смысл в операторе

1 + listOf(2,3) = [1,2,3]

в стандартной библиотеке?

Нет, потому что он слишком многозначный и можно грабли собрать

Многозначный в смысле что коллекции тип непонятен?

В том числе. лист + лист - это конкетенация. Не всегда она нужна. Иногда подразумевалось поэлментное сложение, а по типу не видно. Плюс, если в листах типы разные, можно поулчить странный результат. Не говоря о том, что это создание нового листа, а не все об этом знают. Если один из этих листов мутабельный, можно получить интересные результаты

Тут есть косяк в том, что надо очень аккуратно делать экстеншены на Any

Я пользовался list + element и, кажется, даже list - element

@thevery это вставка первого элемента