Partway through exercises in Chapter 2
Added missint tools.agda