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.