fix(types): add type_info field to test-only struct literals

5 files had test code constructing Hypothesis/Variable without the
type_info field added in the type-system PR. Adds `type_info: None`
to all test struct literals and fixes Hypothesis::new() call in
types/mod.rs test to use a direct struct literal.

628 tests pass, 0 failures.

https://claude.ai/code/session_01FYkVX52Tdn6Arp9dWfPLxq

Author: claude

src/rust/gnn/graph.rs

@@ -736,6 +736,7 @@ mod tests {
             name: "h_nat".to_string(),
             ty: Term::Const("Nat".to_string()),
             body: None,
+            type_info: None,
         };
 
         let theorem = Theorem {
@@ -778,6 +779,7 @@ mod tests {
                 variables: vec![Variable {
                     name: "n".to_string(),
                     ty: Term::Const("Nat".to_string()),
+                    type_info: None,
                 }],
             },
             proof_script: Vec::new(),

src/rust/gnn/guided_search.rs

@@ -384,6 +384,7 @@ mod tests {
                     name: "h".to_string(),
                     ty: Term::Const("Nat".to_string()),
                     body: None,
+                    type_info: None,
                 }],
             }],
             context: Context {
@@ -393,6 +394,7 @@ mod tests {
                 variables: vec![Variable {
                     name: "n".to_string(),
                     ty: Term::Const("Nat".to_string()),
+                    type_info: None,
                 }],
             },
             proof_script: Vec::new(),

src/rust/learning/self_play.rs

@@ -192,6 +192,7 @@ mod tests {
                 name: "h0".to_string(),
                 ty: Term::Const("P".to_string()),
                 body: None,
+                type_info: None,
             }],
         });
         s

src/rust/provers/metamath.rs

@@ -1021,6 +1021,7 @@ mod tests {
         state.context.variables.push(Variable {
             name: "x".to_string(),
             ty: Term::Const("nat".to_string()),
+            type_info: None,
         });
 
         let exported = backend.export(&state).await.unwrap();

src/rust/types/mod.rs

@@ -456,8 +456,7 @@ mod tests {
     #[test]
     fn hypothesis_with_type_info_roundtrips() {
         use crate::core::Hypothesis;
-        let h = Hypothesis::new("h", Term::Const("Nat".to_string()))
-            .with_type_info(TypeInfo::new().with_multiplicity(Multiplicity::Linear));
+        let h = Hypothesis { name: "h".into(), ty: Term::Const("Nat".to_string()), body: None, type_info: Some(TypeInfo::new().with_multiplicity(Multiplicity::Linear)) };
         let json = serde_json::to_string(&h).expect("serialize");
         assert!(json.contains("Linear"));
         let back: Hypothesis = serde_json::from_str(&json).expect("deserialize");