bit of restructuring
work on Labelled chapter: writing about Kan extensions