Use isinstance information when type checking 'or' expressions - #1709

Note: This is not the same as python#942. It does address a pattern which
occurs at least once in mypy itself though:
```
if res and (not isinstance(res, Instance) or cast(Instance, res).args):
```