Boolean Primitives as a Constructive Foundation for Arithmetic in U8: Laws, Decompositions, and Hardware Consequences | Synapse