Preliminary writeup of exactness g_! for hypercoverings

This could be very wrong...
Fix references