Реализуем Type inference на Rust — Часть #1: Unification