Add pos_integer/0 and non_neg_integer/0
Merge pull request #6 from tuncer/pos_integer

Add pos_integer/0 and non_neg_integer/0