Chapter 12: operators

Fix take predicate.
Chapter 13, 14: cut, control structures