The numeric tower’s mixed-type arithmetic, homed on seven generics.
The mixed-type policy layer: import it whenever two numeric modules meet.
Same-type arithmetic stays on each module’s fast worker; a mixed pair
promotes through the cvt from-lattice (one authority, shared with the C
operator arbitration) or errors naming both types. The generics are
callable values; (Generic methods-of num+) shows the method table.