Algorithmic Information Theory, using Binary Lambda Calculus