Equivalence of categories of covers (in progress).

- Work in progress:
  Equivalence of categories of covers and G-sets.
  (Functors are done, but the equivalences are
  in progress.)
- Lots of minor improvements.