Fixed some bugs in the PosSpec test, which sbt is not running currently, and
added a est and code for widening conversions from Pos to Int, Long, Float, Double,
Poz, LPoz, FPoz, and DPoz.