make properties with no setter highlighted as readonly in the semantic highlighter

[DetachHead]

fixes #529

[github-actions]

Diff from mypy_primer, showing the effect of this PR on open source code:

sympy (https://github.com/sympy/sympy)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/compound_rv.py:107:9 - warning: Return type, "tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Sum | Integral | Literal[0] | None", is partially unknown (reportUnknownParameterType)
+   /tmp/mypy_primer/projects/sympy/sympy/stats/compound_rv.py:107:9 - warning: Return type, "tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Integral | Literal[0] | None", is partially unknown (reportUnknownParameterType)
-     Type of "compute_expectation" is "(expr: Unknown, rvs: Unknown | None = None, **kwargs: Unknown) -> (tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Sum | Literal[0] | None)" (reportUnknownMemberType)
+     Type of "compute_expectation" is "(expr: Unknown, rvs: Unknown | None = None, **kwargs: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Literal[0] | None)" (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/compound_rv.py:113:20 - warning: Return type, "tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Sum | Literal[0] | None", is partially unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/sympy/sympy/stats/compound_rv.py:113:20 - warning: Return type, "tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Literal[0] | None", is partially unknown (reportUnknownVariableType)
-     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None)) | ((**hints: Unknown) -> Unknown)" (reportUnknownMemberType)
+     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | None)) | ((**hints: Unknown) -> Unknown)" (reportUnknownMemberType)
-     Type of "summation" is "(f: Unknown, ...) -> (Equality | Relational | Unequality | Unknown)" (reportUnknownVariableType)
+     Type of "summation" is "(f: Unknown, ...) -> (tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None)" (reportUnknownVariableType)
-     Type of "set" is "tuple[tuple[Dummy, _NotImplementedType | LessThan | Unknown | Equality | Relational | Unequality | Any]]" (reportUnknownVariableType)
+     Type of "set" is "tuple[tuple[Dummy, _NotImplementedType | Unknown | Any]]" (reportUnknownVariableType)
-     Type of "density" is "(expr: Unknown, condition: Unknown | None = None, evaluate: bool = True, numsamples: Unknown | None = None, **kwargs: Unknown) -> (dict[Unknown, Unknown] | Density | Unknown | Lambda | Basic | Any | FiniteDensity | None)" (reportUnknownVariableType)
+     Type of "density" is "(expr: Unknown, condition: Unknown | None = None, evaluate: bool = True, numsamples: Unknown | None = None, **kwargs: Unknown) -> Unknown" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/drv.py:242:13 - warning: Type of "dens" is partially unknown
+   /tmp/mypy_primer/projects/sympy/sympy/stats/drv.py:242:13 - warning: Type of "dens" is unknown (reportUnknownVariableType)
-     Type of "dens" is "dict[Unknown, Unknown] | Density | Unknown | Lambda | Basic | Any | FiniteDensity | None" (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/sympy/sympy/stats/drv.py:245:53 - warning: Argument type is unknown
+     Argument corresponds to parameter "pdf" in function "__new__" (reportUnknownArgumentType)
-     Type of "doit" is "Unknown | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None)) | ((**hints: Unknown) -> Self@Expr) | ((**hints: Unknown) -> Order) | Any | ((**hints: Unknown) -> Piecewise) | ((**hints: Unknown) -> Basic) | ((**hints: Unknown) -> Equality) | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality)" (reportUnknownMemberType)
+     Type of "doit" is "Unknown | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | None)) | ((**hints: Unknown) -> Self@Expr) | ((**hints: Unknown) -> Order) | Any | ((**hints: Unknown) -> Piecewise) | ((**hints: Unknown) -> Basic) | ((**hints: Unknown) -> Equality) | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality)" (reportUnknownMemberType)
-     Type of "probability" is "(condition: Unknown) -> Unknown" (reportUnknownMemberType)
+     Type of "probability" is "(condition: Unknown) -> (Unknown | Probability | Self@Expr | tuple[Unknown, ...] | Sum | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | int)" (reportUnknownMemberType)
-     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None))" (reportUnknownMemberType)
+     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | None))" (reportUnknownMemberType)
-     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None))" (reportUnknownMemberType)
+     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | None))" (reportUnknownMemberType)
-     Type of "set" is "tuple[tuple[Unknown, Unknown | Or]]" (reportUnknownVariableType)
+     Type of "set" is "tuple[tuple[Unknown, Unknown]]" (reportUnknownVariableType)
-     Type of "set" is "tuple[tuple[Unknown, Unknown | Or], ...] | tuple[tuple[Unknown, Unknown | Or] | tuple[Unknown, Unknown], ...]" (reportUnknownVariableType)
+     Type of "set" is "tuple[tuple[Unknown, Unknown], ...]" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/frv.py:443:9 - warning: Return type, "tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Sum | Literal[0] | None", is partially unknown (reportUnknownParameterType)
+   /tmp/mypy_primer/projects/sympy/sympy/stats/frv.py:443:9 - warning: Return type, "tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Literal[0] | None", is partially unknown (reportUnknownParameterType)
-     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Sum | None))" (reportUnknownMemberType)
+     Type of "doit" is "((**hints: Unknown) -> Equality) | Unknown | ((**hints: Unknown) -> Relational) | ((**hints: Unknown) -> Unequality) | ((**hints: Unknown) -> (tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | None))" (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/frv.py:451:20 - warning: Return type, "tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | Sum | None", is partially unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/sympy/sympy/stats/frv.py:451:20 - warning: Return type, "tuple[Unknown, ...] | Unknown | Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None", is partially unknown (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/frv_types.py:236:9 - warning: Type of "cond" is partially unknown
+   /tmp/mypy_primer/projects/sympy/sympy/stats/frv_types.py:236:9 - warning: Type of "cond" is unknown (reportUnknownVariableType)
-     Type of "cond" is "Unknown | And" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/frv_types.py:425:9 - warning: Type of "cond" is partially unknown
+   /tmp/mypy_primer/projects/sympy/sympy/stats/frv_types.py:425:9 - warning: Type of "cond" is unknown (reportUnknownVariableType)
-     Type of "cond" is "Unknown | And" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/stats/frv_types.py:814:9 - warning: Type of "cond1" is partially unknown
+   /tmp/mypy_primer/projects/sympy/sympy/stats/frv_types.py:814:9 - warning: Type of "cond1" is unknown (reportUnknownVariableType)
-     Type of "cond1" is "Unknown | And" (reportUnknownVariableType)
-     Type of "summation" is "(f: Unknown, ...) -> (Equality | Relational | Unequality | Unknown)" (reportUnknownVariableType)
+     Type of "summation" is "(f: Unknown, ...) -> (tuple[Unknown, ...] | Unknown | Self@Sum | Self@Expr | Order | Any | Piecewise | Basic | Equality | Relational | Unequality | None)" (reportUnknownVariableType)

... (truncated 483 lines) ...

arviz (https://github.com/arviz-devs/arviz): 4.15x slower (7.7s -> 31.8s in a single noisy sample)