Fix subtyping of null and refined types.

Review by @smarter