Allow specializing Anything type variables via isinstance

[nielstron]

Resolves #590

[github-actions]

✅ Binary Size Check Passed

Binary Size Comparison Report

Loading baseline measurements...
Measuring current binary sizes and execution costs...
Measuring assert_sum...
  O0: 54954 bytes
    Evaluating test case: valid_sum
      CPU: 44,505,759 | MEM: 241,674
  O1: 3536 bytes
    Evaluating test case: valid_sum
      CPU: 19,817,759 | MEM: 87,374
  O2: 3534 bytes
    Evaluating test case: valid_sum
      CPU: 19,778,516 | MEM: 87,142
  O3: 1348 bytes
    Evaluating test case: valid_sum
      CPU: 17,970,516 | MEM: 75,842
Measuring liquidity_pool...
  O0: 152112 bytes
  O1: 47652 bytes
  O2: 47334 bytes
  O3: 18690 bytes
Measuring marketplace...
  O0: 124108 bytes
  O1: 26262 bytes
  O2: 26170 bytes
  O3: 4854 bytes
Measuring gift...
  O0: 57426 bytes
    Evaluating test case: valid_withdrawal
      CPU: 52,052,498 | MEM: 266,735
  O1: 5356 bytes
    Evaluating test case: valid_withdrawal
      CPU: 28,788,498 | MEM: 121,335
  O2: 5352 bytes
    Evaluating test case: valid_withdrawal
      CPU: 28,710,012 | MEM: 120,871
  O3: 1676 bytes
    Evaluating test case: valid_withdrawal
      CPU: 26,262,012 | MEM: 105,571
Measuring wrapped_token...
  O0: 64838 bytes
  O1: 9352 bytes
  O2: 9080 bytes
  O3: 3876 bytes
Measuring micropayments...
  O0: 88026 bytes
  O1: 19894 bytes
  O2: 19820 bytes
  O3: 7212 bytes

============================================================
BINARY SIZE AND EXECUTION COST COMPARISON REPORT
============================================================

Total size change compared to previous release: +0 bytes

✅ No significant changes detected
============================================================

No significant binary size changes were detected in this PR.

---

This report compares the binary sizes of compiled contracts against the baseline from the latest release.