From b10b94865f5bfd8d641a2c9f257e33a927f46f61 Mon Sep 17 00:00:00 2001
From: mehbark <terezi@pyrope.net>
Date: Thu, 15 Jun 2023 01:01:27 -0400
Subject: [PATCH] prepare for removing private stuff

---
 src/main.rs  |  2 --
 src/typed.rs | 11 +++++++++++
 2 files changed, 11 insertions(+), 2 deletions(-)
 create mode 100644 src/typed.rs

diff --git a/src/main.rs b/src/main.rs
index 33971a0..09fd997 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -1014,5 +1014,3 @@ pub fn run_program(src: &str, step_limit: usize, complexity_limit: usize) -> Opt
     eprintln!("Complexity: {}", simped.complexity());
     Some(simped)
 }
-
-// (forall (a b) (+ a (succ b)) (succ (+ a b))) (forall (a) (+ a 0) a) (forall (a) (= a a) true) (= (+ (succ 0) (succ 0)) (succ (succ 0)))
diff --git a/src/typed.rs b/src/typed.rs
new file mode 100644
index 0000000..1800b3d
--- /dev/null
+++ b/src/typed.rs
@@ -0,0 +1,11 @@
+use crate::*;
+
+// Do I want arbitrary types (a sexp) or a limited set (likely the one found in Pie)?
+// I'm going to do a limited set first.
+// I'm going to do arbitrary first.
+
+#[derive(Debug, Clone)]
+pub struct TypedSexp<Ty: fmt::Display + Debug + Clone> {
+    typ: Ty,
+    val: Sexp,
+}