added more info around lambda reductions of boolean. added peano