infer unannotated parameter type from usage

```py
def f(x):
print(x.foo)

f # (Unknown) -> None
```
here is would expect `({foo: Unknown}) -> None`, maybe even `{foo: object}` if we consider that `print` accepts `object`