initial notes based on TAPL
power
ability to encode untyped lamdba calculus