Changes the definition of relative Weil cohomology

Generelises the definition of relative Weil cohomology to reflect the fact that
we need to allow disjoint unions in our category of base pieces.