Did more todos

Changed proof of first theorem (exact sequence), so that proof for differentials mimics proof for functions
Started to change residue classes from bars to []
Other parts of isomorphism in first lemma