Remove lamdba and let definitions
add ex 1.40 explanation
add ex 1.41 explanation
add ex 1.42 explanation
add ex 1.43 explanation
add ex 1.44 explanation
add ex 1.45 explanation
add ex 1.46 explanation