Integrate Type-Check into CI workflow(s)

[Nicoretti]

Summary

Fix all type-check issues discovered using the command nox -s type-check. Once all issues have been addressed, update the check.yml workflow file to include type-check as a step for verification of PRs and other relevant workflow executions.

Details

The repository currently has type-check issues, and these need to be identified and resolved to improve code quality and maintainability. The command nox -s type-check can be used to detect these issues.

The goal is to:

1. Run nox -s type-check to identify all type-check errors and warnings.
2. Update code to resolve all discovered issues.
3. Modify the check.yml workflow to include type-checking as a step for all PRs and other relevant checks.

An example of the type-check workflow step can be seen by running the following command tbx workflow show checks.

Task(s)

• Run nox -s type-check to identify type-check issues.
• Fix identified type-check issues in the codebase.
• Update the check.yml workflow to include type-check as a step.
• Ensure modified check.yml runs successfully with type-check on a test branch or fork.