Boxes are central to Form processing of Mathics expressions.
Boxing information, like the class of expression to be worked on and its size, allow formatters, like StandardForm to do their work without having to know more specific details and intricacies of expression to be formatted.