Type Validation for Var Operations and Enhanced Compatibility

[ElijahAhianyo]

Description

This pull request addresses an issue where Var operations were previously allowed between any types, which led to unintended behaviors and potential edge cases. The purpose of this pull request is to align Var operations more closely with Python's type system and enforce type safety, especially considering that the codebase involves rendering operations in their JavaScript equivalents.

Changes Made

• Added type checks and validation to all Var operations to ensure compatibility with Python's type system.
• Refactored the code to use Python-specific type annotations and appropriate type hints.
• Created type-specific checks for different operations, preventing unintended and potentially unsafe operations.
• Introduced stricter type validation based on Python's type compatibility to prevent issues that could arise due to the permissive nature of JavaScript's type coercion.

Motivation

In the context of our codebase, which primarily involves writing code in Python, it's important to ensure that the operations performed between State Vars are compatible with Python's type rules and restrictions.
By limiting operations to be more Python-specific, we can avoid unexpected behaviors, potential type errors, and edge cases that might arise from JavaScript's permissive type system.
This change is intended to enhance the reliability and maintainability of the codebase while maintaining consistency with Python's type-safe practices.

Impact

This change enforces stricter type validation for Var operations, which might result in some previously valid operations being flagged as errors. However, these changes are in line with Python's type-safe philosophy and aim to prevent unexpected behaviors.
Developers who were relying on the previously permissive type handling might need to review their code to ensure compatibility with the new type restrictions.

[picklelo]

Nice, this approach is much cleaner!

[picklelo]

Looks good, just a couple comments

[picklelo]

Awesome, thanks for adding the extensive tests also. Should we remove the bitwise operator before merging?

[picklelo]

great work, looks good to me