Add the functor identity and composition natural isomorphisms
Proj1 c c and Proj2 c c are retracts of Diag c
implement proj1 and proj2 in terms of previously defined natural transformations