Add initial part of Chapter 12 (applicative)