Title: Typing, First Course