fix(account-update.ts): remove provablePure from MayUseToken type def…

…inition

refactor(account-update.ts): simplify MayUseToken type by using BaseMayUseToken directly
test(account-update.unit-test.ts): update MayUseToken type check to use AccountUpdate.MayUseToken.type.check instead of AccountUpdate.MayUseToken.check

The changes remove the provablePure wrapper from the MayUseToken type definition and simplify it by using the BaseMayUseToken directly. This is done to fix an issue and simplify the type definition.
The unit test is also updated to use the correct type check method after the refactoring.

src/lib/mina/account-update.ts

@@ -159,8 +159,7 @@ const Actions = {
 
 type MayUseToken = BaseMayUseToken;
 const MayUseToken = {
-  ...BaseMayUseToken,
-  type: provablePure({ parentsOwnToken: Bool, inheritFromParent: Bool }),
+  type: BaseMayUseToken,
   No: {
     parentsOwnToken: Bool(false),
     inheritFromParent: Bool(false),

src/lib/mina/account-update.unit-test.ts

@@ -163,7 +163,7 @@ function createAccountUpdateWithMayUseToken(
 // throws an error when both flags are true in check method
 {
   expect(() => {
-    AccountUpdate.MayUseToken.check({
+    AccountUpdate.MayUseToken.type.check({
       parentsOwnToken: Bool(true),
       inheritFromParent: Bool(true),
     });