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