Лекция 7. С.Л. Кузнецов. Алгоритм выведения типов