Use pr1/2 rather than projT1/2

The comment in `Overture.v` at the definition of `pr1` and `pr1` suggests that we should use these instead of `projT1` and `projT2`.

There are still some remaining in `categories/Category/Sigma/` which I wasn't sure what to do with.