A Deeper Dive Into Lambda Calculus — Programming Keynou