Title: A First Course in Typing