CS 641 Lecture -*- Outline -*- for subtyping a la Cardelli

	lecture 1
* semantics-of-mi