This article taught me about jspecify. I hope jspecify gets traction.

One thing I would add is that if you want automated tools to force you to check, then you should use CheckForNull instead of nullable.