Унификация и типизация.