Q# New Lints Ideas/Proposals

[orpuente-MS]

This issue is a place to gather ideas/proposals for new lints.

Future lints:

• Dead Code
• Shadowing a mutable variable with an immutable variable of the same type

Quantum Specific Lints:

• Gates that are identities if they are squared.
• Measure a qubit that hasn't had gates applied to it.
• Don't reset qubits when it is not needed.
• Operations that don't manipulate qubits can be functions instead of operations.
• When qubit reuse is not supported, prefer MResetZ over M
• Operations with implemented specializations that are missing from the signature.
• RCA lints.

Current Lints:

• DivisionByZero
• NeedlessParens
• RedundantSemicolons

[saram-aman]

@orpuente-MS please assign the task to me!