Add solution for exercise 2.8
Add solution for exercise 2.16
Define commands for λ syntax fst and snd