some basic documentation and more instances for Control.Lens.Union