> то шелл то вообще awk.

А что awk? У него кстати попроще будет семантика и нет жестких ограничений с обязательными пробелами или их отсутствием как у шелов. Вы откройте мэн, язык С подобный и очень простой, но в тоже время имеет все фичи которые вы хотели.

> Для чего типизация:
> 1) для того, чтобы, открыв скрипт через два года сходу понять, что
> там вообще происходит и какую сущность куда пихают.

Даже в С, что не парится с этим, люди давно придумали префиксы:

strVar, sVar, nVar, iVar, pVar...

> 2) чтобы то же самое было понятно при открытии чужого скрипта.

Ну, да, перечитаь весь код, найти все дефайны переменых, запомнить по типам - это значительно "проще"

> 3) чтобы не было стимула костылировать "а мы сдеаем функцию, окторая умеет
> принимать десять вариантов чего попало и на них реагировать"

Это накостылят на любом языке если идиоты, так что не поинт

> 4) чтобы структурировать код - если функция принимает Book то Audiofile туда
> не запихнёшь.

Вы о чем вообще? Вы хотите ОЧЕНЬ простой ЯП, но собираетесь процесировать бинари потроха музыки?

> ...кода в той области применения, о которой я говорю (мелкие встроенные
> скрипты и мелкая автоматизация) не критично совершенно.

В мелких скриптах - типизация ???
И это вы называете простым читаемым кодом, где будет мазня символов сперва описывающих, потом применямых сущностей ?
Сорри, но категорию людей которых вы описали будут юзать сиё чудо, надо будет сперва обучить, а не сваливать на них концепты корпоративного програмирования.
А если они обучены, то им нафиг не сдался кастририванный ООП-образный шелл