Intensional Expressions
	A type of intensional expressions is a good model for many forms of staged computation • Intensional Expression = Source Code • Term = Compiled Code • Coerce to programs by evaluation (abstractly) • Analyze and transform structurally • In contrast, programs (terms) can only be executed