Derive attachment algebra from finite-cut laws #319

Lift identity, serial attachment and parallel compatibility from the existing finite laws.

Acceptance: Each law follows by equality of cuts and named finite laws. Concrete systems laws supply later CC instances without changing the abstract axioms.

Prerequisites, in order: #318, #341, #342, #345. Parent: #15.