Cleaned up some tests, using newly added apply method for positive types.
Added Int methods to PosInt and PozInt.