Refactor BatSet documentation
Refactor BatSet documentation

Cleans up the BatSet documentation a bit, to stop referring outside to
PSet/Set and instead describe things as they sit in the module.  I'm
not sure that I've used appropriate heading levels, though.

bennn/batteries-included