Improve type narrowing fix

We need to explicitly model the null return type for property
accesses on non-objects.

Fixed type inference (it's safe to ignore reference counting narrowing)