Improve exposition

Also the definition of the functor Hom(O_Z, -) was incorrect.
More existence results for dualizing complexes