[silin]

дада, это не приведение типов (тока не знаю что тогда - терминологией не владею..)
компилятору 'явно об этом не известно', так я и хочу,
чтоб стало известно: и писать проще и контроль строже..
зы: думаю, что это не 'лишние дейсвия', коль скоро типизация реально упрощает/уксоряет работу AVM (а не компилятора), но утверждать что-либо не берусь..