Handle isinstance as a variant of type annotation

[kamahen]

Somewhat related to issue #14.

Need to handle:

if isinstance(foo, int):
    foo += 1
if isinstance(foo, str):
    foo += 'abc'

Also need to handle type comments, even though they're obsolete in a sense:

x: int
x = mumble()  # type: int