representation/compiler techniques illustrated by the exciting untyped lambda calculus