clrs; notes on week 08
eopl; exercise 4.04 - specify begin
eopl; exercise 4.05 - specification for list