add monotic counters, fix element binding case in app->for

1 files changed, 1 insertions, 8 deletions

diff --git a/src/checker_signature.rs b/src/checker_signature.rs
index 17154dd..bad38eb 100644
--- a/src/checker_signature.rs
+++ b/src/checker_signature.rs
@@ -1,5 +1,3 @@
-// Time-stamp: <2026-04-30 17h19 BST (9561bc0c)>
-
 use crate::ast::*;
 use crate::checker_state::*;
 use std::collections::HashMap;
@@ -443,12 +441,7 @@ impl CheckerState {
                         let mut ctx = self.clone();
                         let first_set = ctx.check_set(&params[0].set)?;
                         let element_checked = self.check_element(element, &first_set)?;
-                        ctx.make_element_definition(
-                            params[0].name.clone(),
-                            element_checked,
-                            first_set,
-                        )?;
-
+                        ctx.add_element(params[0].name.clone(), element_checked.into(), first_set)?;
                         if params.len() == 1 {
                             ctx.check_instance(body, signature)
                         } else {