Itoken, Klimperei, Frank Pahl – Binary Lambda Calculus