new rule - property type mismatch

```py
class Foo:
@property
def value(self) -> int: ...

@value.setter
def value(self, new_value: str): ... # error
```

while this may be intentional, i consider it more of a lint rule to avoid overusing properties and creating confusing APIs.

pyright has a rule for this: `reportPropertyTypeMismatch`