Make type refinement to work with `None in [a, b, c]`

[eladshoshani]

Following the bug report, when checking if multiple variables are not None using the syntax None in <some_collection> mypy should be able to refine the types of these variables to non-Optional types after this check.