ENH: Fix type hinting for get_value member function.

[czaloom]

Feature Type

• Adding new functionality to valor

• Changing existing functionality in valor

• Removing existing functionality in valor

Problem Description

assert (Bool(True) & Bool(True)).get_value() is True # type: ignore - schema fix require

Feature Description

Add type inference to the get_value member function on symbolic expressions.

Additional Context

This issue is limited to the python client.

This issue can be searched by issue #604