ex 4.22 - done
ex 4.23 - done
my-eval - optimized a little according to ex 4.23
my-eval - some concerns about the design
my-eval - enable approach switching.
ex 4.24 - done
4.2.1 - done, right before ex 4.25
ex 4.25 - done
ex 4.26 - done