Fix pos_integer/0 and non_neg_integer/0

Also add test properties for pos_integer/0 and non_neg_integer/0.
Merge pull request #15 from tuncer/fix-int

Fix pos_integer/0 and non_neg_integer/0