diff --git a/schala-lang/src/typechecking.rs b/schala-lang/src/typechecking.rs
index dfedcaa..0f41b35 100644
--- a/schala-lang/src/typechecking.rs
+++ b/schala-lang/src/typechecking.rs
@@ -8,9 +8,15 @@ use itertools::Itertools;
 
 use parsing;
 
-pub struct TypeContext { 
+pub struct TypeContext {
   type_var_count: u64,
   bindings: HashMap<Rc<String>, Type>,
+  //symbol_table: SymbolTable
+}
+
+//cf. p. 150 or so of Language Implementation Patterns
+struct SymbolTable {
+
 }
 
 #[derive(Debug, PartialEq, Clone)]