Dropped Percent types. Created universal traits BoundedInt/Long/Float/Double to
reduce the implicit count, and simplify implementation, of getting PosWidenings.