infer input typs for `__new__` from `__init__` and vice versa

[DetachHead]

class Foo:
    def __new__(cls, value: int):
        ...

    def __init__(self, value): # inferred as int
        ...