Title: Basics of Typing