UsageArithmetic

Arithmetic over Usage. The + operator lives here as a member-extension (decision-C: no loose top-level funs). Call sites bring it into scope with with(UsageArithmetic) { a + b } or a member import.