propagate narrowed types across functions

```py
def f(x: object):
assert isinstance(x, int)

def main(x: object):
f(x)
x # object
```

here is would expect `x` to be `int`, if `f` were to be inlined then `x` would be narrowed, so i see no reason why it shouldn't be