'Herbs::ArithmeticChecked': Added IntegerChecked type