diff --git a/schala-lang/src/eval.rs b/schala-lang/src/eval.rs
index f42691b..da86358 100644
--- a/schala-lang/src/eval.rs
+++ b/schala-lang/src/eval.rs
@@ -263,7 +263,7 @@ impl<'a> State<'a> {
     //in the values table
 
     let type_context = self.type_context_handle.borrow();
-    type_context.symbol_table
+    //type_context.symbol_table
 
     match self.values.lookup(&name) {
       None => return Err(format!("Value {} not found", *name)),
diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs
index 56ea804..64d57d6 100644
--- a/schala-lang/src/typechecking.rs
+++ b/schala-lang/src/typechecking.rs
@@ -15,7 +15,7 @@ pub struct TypeContext {
 }
 
 //cf. p. 150 or so of Language Implementation Patterns
-struct SymbolTable {
+pub struct SymbolTable {
   pub values: HashMap<Rc<String>, Symbol> //TODO this will eventually have real type information
 }
 
@@ -26,7 +26,7 @@ impl SymbolTable {
 }
 
 #[derive(Debug)]
-struct Symbol {
+pub struct Symbol {
   pub name: Rc<String>,
   pub ty: Type
 }