The Basics of Typing