The bussproofs package. Includes components to build it. Fixes the bbox problem for incomplete tables elements. Note, that sequent balancing does not fully work yet, in terms of the spatial layout.