Add para about Tom S' lambda calculus thing to Show & Tell notes.