LoPri: Callers for UKM hooks that (do not use Bytes or Int256) or (return K or MessageResult)

[virgil-serbanuta]

Needs #123

The hooks are described in the UKM-HOOKS module here: https://pi-squared-workspace.slack.com/archives/C07B7RED0GG/p1727373614200429 (hte latest version available when this was written)

Should take something like this:

#[ethereum::hooks]
Trait Hooks {
        ...
	#[hook("GetAccountBalance")]
        Fn GetAccountBalanceRust(self, account: int256) -> int256;
        ...
}

change the function so that it looks similar to this:

        Fn GetAccountBalanceRust(self, account: int256) -> int256 {
	        getAccountBalance(account)
        }

where the getAccountBalance thing is declared and evaluated in K like this:

Syntax Expression ::= getAccountBalance(Expression)  [strict]
rule getAccountBalance(ptrValue(_, int256(V))) => ptrValue(null, int256(Int2Mint(GetAccountBalance(MintToInt(V)))))