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