Part 1: Introduction to typing