Fixes type range issue during linting (#16684)

 - Ensures the propogated negation sign is properly utilized during type
   checking.
 - Removed redudant type checking, specifically regarding the out of bounds checking
   on a bounded type.
 - Closes #16684