Add Box.forall.

As well a couple of cleanup tasks.