add the nonnegative_int type checker and update tests