Added Arb Nat, String, and some helpers.