R.9.9 Имена локальных типов