minor tweaks
start writing about Kan extensions
switch notation for ends and coends
bit more writing about Kan extensions