Add pos_integer/0 and non_neg_integer/0