chore: update stl and vesper

Author: dr-orlovsky

stl/AnchoredBundle.vesper

@@ -1,5 +1,5 @@
 MerkleNode rec
-  branching enum NodeBranching void=0 single=1 branch=2
+  branching enum void=0 single=1 branch=2 -- NodeBranching
   depth is U8
   width is U256
   node1 bytes len=32 aka=MerkleHash

stl/MerkleNode.vesper

@@ -1,5 +1,5 @@
 {-
-  Id: urn:ubideco:stl:Hzv1xPBtQfqcGYeisvS2V9DPj1VRC5WyYfME2RtmuRpu#blitz-english-eric
+  Id: urn:ubideco:stl:2nWgjeSMhVE2mKgC7WyE5Dn8a6tZJDMoNugDWdc4vcZZ#spring-moral-almanac
   Name: RGB
   Version: 0.1.0
   Description: Consensus layer for RGB smart contracts
@@ -166,8 +166,8 @@ data ConcealedAttach   : [Byte ^ 32]
 @mnemonic(mirage-invite-newton)
 data ConcealedData     : [Byte ^ 32]
 
-@mnemonic(window-basket-actor)
-data ConcealedFungible : commitment PedersenCommitment, rangeProof RangeProof
+@mnemonic(small-melody-empty)
+data ConcealedFungible : commitment PedersenCommitment, rangeProof PedersenCommitment
 
 @mnemonic(beast-korea-perfect)
 data ContractHistory   : schemaId SchemaId
@@ -265,9 +265,6 @@ data MediaType         : any#255
 @mnemonic(moment-patriot-patron)
 data Metadata          : [Byte]
 
-@mnemonic(deal-orca-aztec)
-data NoiseDumb         : [Byte ^ 512]
-
 @mnemonic(unicorn-empire-mama)
 data Occurrences       : min U16, max U16
 
@@ -316,9 +313,6 @@ data OutputAssignmentVoidState : opout Opout
 @mnemonic(nepal-delta-earth)
 data PedersenCommitment : [Byte ^ 33]
 
-@mnemonic(invent-stock-result)
-data RangeProof        : placeholder#255 NoiseDumb
-
 @mnemonic(scoop-press-scuba)
 data Redeemed          : {ValencyType -> ^ ..0xff OpId}
 

stl/[email protected]

@@ -33,74 +33,74 @@ Schema rec
     some is Unit option wrapped tag=1
   globalTypes map len=0..MAX8
     key is U16 aka=GlobalStateType
-    value rec GlobalStateSchema
+    GlobalStateSchema rec -- mapped to
       semId bytes len=32 aka=SemId
       maxItems is U16
   ownedTypes map len=0..MAX8
     key is U16 aka=AssignmentType
-    value union StateSchema
+    StateSchema union -- mapped to
       declarative is Unit tag=0
-      fungible enum FungibleType wrapped unsigned64Bit=8 tag=1
+      fungible enum wrapped unsigned64Bit=8 tag=1 -- FungibleType
       structured bytes len=32 wrapped aka=SemId tag=2
-      attachment enum MediaType wrapped any=255 tag=3
+      attachment enum wrapped any=255 tag=3 -- MediaType
   valencyTypes set len=0..MAX8
     element is U16 aka=ValencyType
-  genesis rec GenesisSchema
+  genesis rec -- GenesisSchema
     metadata bytes len=32 aka=SemId
     globals map len=0..MAX8
       key is U16 aka=GlobalStateType
-      value rec Occurrences
+      Occurrences rec -- mapped to
         min is U16
         max is U16
     assignments map len=0..MAX8
       key is U16 aka=AssignmentType
-      value rec Occurrences
+      Occurrences rec -- mapped to
         min is U16
         max is U16
     valencies set len=0..MAX8
       element is U16 aka=ValencyType
   extensions map len=0..MAX8
     key is U16 aka=ExtensionType
-    value rec ExtensionSchema
+    ExtensionSchema rec -- mapped to
       metadata bytes len=32 aka=SemId
       globals map len=0..MAX8
         key is U16 aka=GlobalStateType
-        value rec Occurrences
+        Occurrences rec -- mapped to
           min is U16
           max is U16
       redeems set len=0..MAX8
         element is U16 aka=ValencyType
       assignments map len=0..MAX8
         key is U16 aka=AssignmentType
-        value rec Occurrences
+        Occurrences rec -- mapped to
           min is U16
           max is U16
       valencies set len=0..MAX8
         element is U16 aka=ValencyType
   transitions map len=0..MAX8
     key is U16 aka=TransitionType
-    value rec TransitionSchema
+    TransitionSchema rec -- mapped to
       metadata bytes len=32 aka=SemId
       globals map len=0..MAX8
         key is U16 aka=GlobalStateType
-        value rec Occurrences
+        Occurrences rec -- mapped to
           min is U16
           max is U16
       inputs map len=0..MAX8
         key is U16 aka=AssignmentType
-        value rec Occurrences
+        Occurrences rec -- mapped to
           min is U16
           max is U16
       assignments map len=0..MAX8
         key is U16 aka=AssignmentType
-        value rec Occurrences
+        Occurrences rec -- mapped to
           min is U16
           max is U16
       valencies set len=0..MAX8
         element is U16 aka=ValencyType
   typeSystem map len=0..MAX24 aka=TypeSystem
     key bytes len=32 aka=SemId
-    value union TySemId
+    TySemId union -- mapped to
       primitive is U8 wrapped aka=Primitive tag=0
       unicode is Unit tag=1
       enum set len=1..MAX8 wrapped aka=EnumVariants tag=2
@@ -109,7 +109,7 @@ Schema rec
           tag is U8
       union map len=0..MAX8 wrapped aka=UnionVariantsSemId tag=3
         key is U8
-        value rec VariantInfoSemId
+        VariantInfoSemId rec -- mapped to
           name ascii len=1..100 aka=VariantName aka=Ident charset=AlphaNumLodash
           ty bytes len=32 aka=SemId
       tuple list len=1..MAX8 wrapped aka=UnnamedFieldsSemId tag=4
@@ -137,14 +137,14 @@ Schema rec
         Sizing rec
           min is U64
           max is U64
-  script union Script
-    aluVm rec AluScript wrapped tag=0
+  script union -- Script
+    aluVm rec wrapped tag=0 -- AluScript
       libs map len=0..MAX8
         key bytes len=32 aka=LibId
         value bytes len=0..MAX16
       entryPoints map len=0..MAX16
         key bytes len=3
-        value rec LibSite
+        LibSite rec -- mapped to
           lib bytes len=32 aka=LibId
           pos is U16