feat: codegened object and tuple factories

codegen/TypeCodegen.ts

@@ -148,6 +148,22 @@ is${variant.tag}(value) {
     }
 }
 `)
+    .add($.object, (_codec) => (name, isTypes) => `
+${
+      isTypes
+        ? `export type ${name} = ${this.nativeVisitor.visit(_codec)}
+export function ${name}<X>(fields: C.RunicArgs<X, ${name}>): C.ValueRune<${name}, C.RunicArgs.U<X>>`
+        : `export function ${name}(fields) {
+  return Rune.rec(fields)
+}`
+    }`)
+    .add($.tuple, (_codec, ..._element) => (name, isTypes) =>
+      isTypes
+        ? `export type ${name} = ${this.nativeVisitor.visit(_codec)}
+export function ${name}<X>(...elements: C.RunicArgs<X, ${name}>): C.ValueRune<${name}, C.RunicArgs.U<X>>`
+        : `export function ${name}(...elements) {
+  return Rune.tuple(elements)
+}`)
     .fallback((codec) => (name, isTypes) =>
       isTypes ? `export type ${name} = ${this.nativeVisitor.visit(codec)}` : ""
     )
@@ -205,7 +221,7 @@ export const $${name.replace(/^./, (x) => x.toLowerCase())}${
 ${this.declVisitor.visit(codec)(name, isTypes)}
 `).join("\n")
         }
-    
+
 `,
       )
     }

examples/sign/ed25519.eg.ts

@@ -6,7 +6,7 @@
 
 import { Balances, createUsers, MultiAddress, System } from "@capi/westend-dev"
 import { assert } from "asserts"
-import { Rune } from "capi"
+import { ExtrinsicSender } from "capi"
 import { signature } from "capi/patterns/signature/polkadot.ts"
 import * as ed from "https://esm.sh/@noble/ed25519@1.7.3"
 
@@ -53,7 +53,7 @@ await Balances
     value: 12345n,
     dest: billy.address,
   })
-  .signed(signature({ sender: Rune.rec({ address, sign }) }))
+  .signed(signature({ sender: ExtrinsicSender({ address, sign }) }))
   .sent()
   .dbgStatus("Transfer:")
   .finalizedEvents()

examples/xcm/asset_teleportation.eg.ts

@@ -14,6 +14,8 @@ import {
   XcmV2Fungibility,
   XcmV2Junction,
   XcmV2Junctions,
+  XcmV2MultiAsset,
+  XcmV2MultiLocation,
   XcmV2NetworkId,
   XcmV2WeightLimit,
 } from "@capi/rococo-dev"
@@ -39,22 +41,30 @@ console.log("Alice initial free:", aliceFreeInitial)
 
 XcmPallet
   .limitedTeleportAssets({
-    dest: VersionedMultiLocation.V2(Rune.rec({
-      parents: 0,
-      interior: XcmV2Junctions.X1(XcmV2Junction.Parachain(1000)),
-    })),
-    beneficiary: VersionedMultiLocation.V2(Rune.rec({
-      parents: 0,
-      interior: XcmV2Junctions.X1(XcmV2Junction.AccountId32({
-        id: alice.publicKey,
-        network: XcmV2NetworkId.Any(),
-      })),
-    })),
-    assets: VersionedMultiAssets.V2(Rune.array([Rune.rec({
-      id: XcmV2AssetId.Concrete(Rune.rec({
+    dest: VersionedMultiLocation.V2(
+      XcmV2MultiLocation({
         parents: 0,
-        interior: XcmV2Junctions.Here(),
-      })),
+        interior: XcmV2Junctions.X1(XcmV2Junction.Parachain(1000)),
+      }),
+    ),
+    beneficiary: VersionedMultiLocation.V2(
+      XcmV2MultiLocation({
+        parents: 0,
+        interior: XcmV2Junctions.X1(
+          XcmV2Junction.AccountId32({
+            id: alice.publicKey,
+            network: XcmV2NetworkId.Any(),
+          }),
+        ),
+      }),
+    ),
+    assets: VersionedMultiAssets.V2(Rune.array([XcmV2MultiAsset({
+      id: XcmV2AssetId.Concrete(
+        XcmV2MultiLocation({
+          parents: 0,
+          interior: XcmV2Junctions.Here(),
+        }),
+      ),
       fun: XcmV2Fungibility.Fungible(500_000_000_000_000n),
     })])),
     feeAssetItem: 0,

fluent/ExtrinsicRune.ts

@@ -2,7 +2,7 @@ import { blake2_256, hex } from "../crypto/mod.ts"
 import * as $ from "../deps/scale.ts"
 import { concat } from "../deps/std/bytes.ts"
 import { $extrinsic, Signer } from "../frame_metadata/Extrinsic.ts"
-import { Rune, ValueRune } from "../rune/mod.ts"
+import { Rune, RunicArgs, ValueRune } from "../rune/mod.ts"
 import { Chain, ChainRune } from "./ChainRune.ts"
 import { CodecRune } from "./CodecRune.ts"
 import { PatternRune } from "./PatternRune.ts"
@@ -12,6 +12,11 @@ export interface ExtrinsicSender<C extends Chain> {
   address: Chain.Address<C>
   sign: Signer<C["metadata"]>
 }
+export function ExtrinsicSender<X, C extends Chain>(
+  extrinsicSender: RunicArgs<X, ExtrinsicSender<C>>,
+): Rune<ExtrinsicSender<C>, RunicArgs.U<X>> {
+  return Rune.rec(RunicArgs.resolve(extrinsicSender))
+}
 
 export interface SignatureData<C extends Chain> {
   sender: ExtrinsicSender<C>