Added shrink to Arbitrary Nat.