Eecient Self-interpretation in Lambda Calculus