How is the boolean value TRUE represented in lambda calculus within the context of operations and conditional expressions?