Static Verification
	Correct staging should be statically enforced • Catch mistakes early • Diagnose notoriously difficult staging errors • Support safe program revision • Prevent inconsistencies at module boundaries