CS 342 Lecture -*- Outline -*- for ml

	lecture 1
* type-checking