Fix resource logic functions

[lukaszcz]

The Object IDs were not checked correctly in the RLs.

[Copilot]

Pull Request Overview

This PR fixes resource logic functions by correcting how Object IDs are handled in Resource Logic (RL) functions. The main issue was that Object IDs were not being checked correctly in the validation logic.

• Renamed SomeObjectData to ObjectValue and added a uid field to properly track object identifiers
• Updated the Nonce structure to use value instead of nat for consistency
• Modified resource validation logic to properly compare object UIDs with resource values

Reviewed Changes

Copilot reviewed 4 out of 4 changed files in this pull request and generated 2 comments.

File	Description
Anoma/Nonce.lean	Renamed field from nat to value for consistency
AVM/Object.lean	Replaced SomeObjectData with ObjectValue structure that includes uid field
AVM/Logic.lean	Updated resource validation to properly check object UIDs against resource values
AVM/Class/Translation/Logics.lean	Modified constructor, destructor, and method logic functions to use new validation approach

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}