Add numeric operations to Pos/Poz numbers
Trying moving the widening conversions all into the PosInt companion. Seems to work.
Got rid of commented out implicits that were being prioritized apparently unecessarily.