Finish flat coeffects in Chapter 3, start structural