Lecture 12
Types, again
Debugging Tips