Rule to enforce strongly typed variables

Summary of the new feature

Would be nice is PSSA could add a rule that makes sure variables are strongly typed.

Should be an optional rule, disabled by default, to not break with PowerShell default behavior. But for projects where you want high code quality, readability, and the added safety that explicit types can add, it'd be nice with a lint rule to enforce it.

I'm looking into learning Python, and got inspired by tools like:

• mypy: https://mypy-lang.org/, https://github.com/python/mypy
• pylyzer: https://github.com/mtshiba/pylyzer
• ty by Astral: https://docs.astral.sh/ty/, https://github.com/astral-sh/ty, https://github.com/astral-sh/ty-vscode

Proposed technical implementation details (optional)

• Error or warn when no type is used, or generic types like [object], [array] and [int].
• Require explicit data types.

What is the latest version of PSScriptAnalyzer at the point of writing

ファイル、テスト、エントリポイントは指定されていません。まず PSScriptAnalyzer の既存のルールアーキテクチャと、リンクされている型チェックツールを確認し、その後、オプションのルールに必要なサポート対象の型ケース、診断、構成、テストを定義してください。このルールはデフォルトでは無効にします。