Наверное, если тип обозначен одним словом (а это всегда можно сделать с помощью объявления именованного типа), то можно позволить объявление вида

## Код:
```
тип имя_переменной
```


Надёжность от этого снижается, зато можно попасть в вагон.
Но кстати ещё из приятного - в ШАЯ гораздо меньше знаков препинания, чем в Обероне. Тут тебе и не нужно точек с запятой в конце, и пробел между типом и именем переменной. Приятно читается в этом отношении.
Надо, правда, понять, сколько это стоит, бесплатных завтраков не бывает, как гласит американская поговорка.