Boxes are now grounded implicitly by Setup::Entails().

We also could instantiate boxes with sequences of action variables, but
that doesn't look more efficient because it adds a lot of new variables
(which leads to bigger H+) and leads to many unifications, which
perhaps are not necessary because usually we have only one or two
different action sequences.