Finished translation of "Higher order functions"