fix: Correct null-related checking of type bounds, and add axioms

fix: Correct null-related checking of type bounds, and add axioms #9986