[box] Cleanup laws: Inlcudes, use vtmv, use axpy.

Merged Timo Koch requested to merge cleanup/box-laws into next

Merge request reports