address remaining TODO, fix issues with left-nesting for for and ext, add motivation blurb to the readme

1 files changed, 2 insertions, 1 deletions

diff --git a/src/checker.rs b/src/checker.rs
index fdba181..c381ba4 100644
--- a/src/checker.rs
+++ b/src/checker.rs
@@ -16,11 +16,12 @@ impl CheckerState {
         let Programme(decls) = prog;
 
         for decl in decls {
+            self.reset_binders();
             match decl {
                 Decl::Set { name, set } => {
                     self.assert_unbound_set(name)?;
                     let set = self.check_set(set)?;
-                    self.add_set(name.clone(), set.into())
+                    self.add_set(name.clone(), set)
                 }
 
                 Decl::Element { name, element, set } => {