Реализуем Type Inference на Rust — Часть #2: Простой Lambda Calculus