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