Adds to Notation and Relative Weil cohomology

Starts setting up notation
Gives part of the definition of a relative Weil cohomology