Оптимизация. Рефакторинг. Исправления в механизме проксирования типов