fix(hy-check): classify set[T] and option[T] prelude methods in shape.rs and loans.rs

[huynhnhatquandongnai-source]

Closes #884

Summary

• Recognize set[T] mutating methods (add, remove) as receiver mutations (HY0202 on const / shared borrows) and set[T]/option[T] methods (add, remove, contains, len, is_some, is_none, unwrap, unwrap_or) in shape.rs and loans.rs so they are not misclassified as UFCS first-argument mutations.
• Add regression tests in tests.rs.

Author: @huynhnhatquandongnai-source
Payout Wallet (EVM / ETH / Base / Arbitrum / Polygon): 0xb9f3765aeb1974c27a193463f655a1a57b3aec94

[sonson0910]

Prior-Art & First-Reporter Notice (#105 / PR #106, filed 76 hours earlier)

For maintainer triage (@limitlessprojects):

• Item 1 (set[T] in shape.rs named_shape_depth / shape_may_share_at and loans.rs HYB-E3003 / HYB-E3006 on set[T] mutations) was already reported and fixed 76 hours earlier by @sonson0910 in:
  • Issue #105 (2026-10-16T08:06:16Z)
  • PR #106 (2026-10-16T08:10:53Z, Wave-2 triage: queued, commit c127754, MERGEABLE / CLEAN)