boxes with properties in LaTeX3