Talk Outline
	Ô Motivation • Explicit Staging and Types • Assessment • Summary and Future Work