Comparisons involving certain state operations could result in an internal compiler error

[achidlow]

Example program demonstrating the issue:

    def __init__(self) -> None:
        self.key = GlobalState(UInt64(0))

    def approval_program(self) -> bool:
        assert self.key.maybe()[0] == self.key.maybe()[0]
        return True

    def clear_state_program(self) -> bool:
        return True

Fails with:

intrinsics/overloaded.py:13:16 critical: Numeric comparison mapped to any type
                                                assert self.key.maybe()[0] == self.key.maybe()[0]
                                                       ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~