fixed all notations for gersten complexes, and the gersten functor; fixes #20; fixes #21