Com S 641 Lecture -*- Outline -*- * imperatives * typing