Did anyone catch why `Let` type in the second code listing had to have both `expr` and `value` properties?