Backwards incompatible release (major)

This release introduces analysis for property types, which are to be considered "used symbols", and therefore should be checked by this tool: this addition is considered backwards-incompatible, since it may lead this tool to behave differently on codebases that would previously pass all pre-existing checks.