Added cosimplicial identities and stuff from last meeting
Meh, this is painful