Type inference is improving. We can add a check to see if nil? is being applied to an expression of type clj-nil and warn, and likewise we can check if it is being applied to a type that cannot be clj-nil and also warn.

(One thing that could preclude this sort of thing is nil checks in tests.)