Completes the definition of relative Weil cohomology

Adds comments that the current definition of relative Weil cohomology theory
might actually be too restrictive.