Remove subsection for FlatCurry transformation
revise chapter 4 examples (todo: fix example)