add natural number type hinting rule