diff --git a/examples/again.myc b/examples/again.myc
index 0479df8..c2ed7ad 100644
--- a/examples/again.myc
+++ b/examples/again.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 2.2us
-;; Benchmark-Repeat: 935
+;; Benchmark: 2.1us
+;; Benchmark-Repeat: 993
 ;; Output: 120
 (do
   (def factorial (fn [n acc]
diff --git a/examples/closure.myc b/examples/closure.myc
index 08866d9..f1659d0 100644
--- a/examples/closure.myc
+++ b/examples/closure.myc
@@ -1,6 +1,6 @@
 ;; Closure Scope Test
-;; Benchmark: 374ns
-;; Benchmark-Repeat: 5431
+;; Benchmark: 391ns
+;; Benchmark-Repeat: 5155
 ;; Output: 15
 (do
   (def make-adder (fn [x] 
diff --git a/examples/closure_cracking.myc b/examples/closure_cracking.myc
index d7bb269..0ef8e84 100644
--- a/examples/closure_cracking.myc
+++ b/examples/closure_cracking.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 92ns
-;; Benchmark-Repeat: 21633
+;; Benchmark: 91ns
+;; Benchmark-Repeat: 21799
 ;; Output: 5
 (((fn [x] (fn [] x)) 5))
diff --git a/examples/closure_cracking_named.myc b/examples/closure_cracking_named.myc
index 9c594bf..c5aabc1 100644
--- a/examples/closure_cracking_named.myc
+++ b/examples/closure_cracking_named.myc
@@ -1,5 +1,5 @@
 ;; Benchmark: 92ns
-;; Benchmark-Repeat: 21729
+;; Benchmark-Repeat: 21826
 ;; Output: 5
 (do
     (def f (fn [x] (fn [] x)))
diff --git a/examples/currying.myc b/examples/currying.myc
index d37bf93..036b75d 100644
--- a/examples/currying.myc
+++ b/examples/currying.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 91ns
-;; Benchmark-Repeat: 21971
+;; Benchmark: 93ns
+;; Benchmark-Repeat: 21799
 ;; Output: 42
 (do
     (def f (fn [a] (fn [b] (fn [c] (+ a (+ b c))))))
diff --git a/examples/data.myc b/examples/data.myc
index 9af3164..9061a48 100644
--- a/examples/data.myc
+++ b/examples/data.myc
@@ -1,6 +1,6 @@
 ;; Complex Data Structure Test
-;; Benchmark: 46.5us
-;; Benchmark-Repeat: 44
+;; Benchmark: 48.1us
+;; Benchmark-Repeat: 43
 ;; Output: {:name "Fibonacci", :input 10, :output 55}
 (do
   (def fib (fn [n]
diff --git a/examples/def_local_inlining.myc b/examples/def_local_inlining.myc
index d4f52f9..091b2af 100644
--- a/examples/def_local_inlining.myc
+++ b/examples/def_local_inlining.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 289ns
-;; Benchmark-Repeat: 6962
+;; Benchmark: 297ns
+;; Benchmark-Repeat: 6735
 ;; examples/def_local_inlining.myc
 ;; Demonstrates potential for DefLocal-Inlining (Phase 2.5)
 
diff --git a/examples/destructuring.myc b/examples/destructuring.myc
index 6e9b777..660a3c9 100644
--- a/examples/destructuring.myc
+++ b/examples/destructuring.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 723ns
-;; Benchmark-Repeat: 2781
+;; Benchmark: 732ns
+;; Benchmark-Repeat: 2711
 ;; Comprehensive Destructuring Test
 ;; Covers: Nested tuples, mixed params, dynamic passing
 
diff --git a/examples/extreme_capture.myc b/examples/extreme_capture.myc
index e881b94..6e4b2ef 100644
--- a/examples/extreme_capture.myc
+++ b/examples/extreme_capture.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 91ns
-;; Benchmark-Repeat: 22134
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 21750
 ;; Output: 36
 (do
   ;; Excessive capture test
diff --git a/examples/fib.myc b/examples/fib.myc
index 64c25d6..f495565 100644
--- a/examples/fib.myc
+++ b/examples/fib.myc
@@ -1,6 +1,6 @@
 ;; Fibonacci Recursive
-;; Benchmark: 45.9us
-;; Benchmark-Repeat: 45
+;; Benchmark: 47.6us
+;; Benchmark-Repeat: 44
 ;; Output: 55
 (do
   (def fib (fn [n]
diff --git a/examples/folding.myc b/examples/folding.myc
index fca68d3..12225dc 100644
--- a/examples/folding.myc
+++ b/examples/folding.myc
@@ -1,4 +1,4 @@
 ;; Benchmark: 92ns
-;; Benchmark-Repeat: 22073
+;; Benchmark-Repeat: 21631
 ;; Output: 30
 (+ 10 20)
diff --git a/examples/hof.myc b/examples/hof.myc
index c0f270b..bdfd4ee 100644
--- a/examples/hof.myc
+++ b/examples/hof.myc
@@ -1,6 +1,6 @@
 ;; Higher-Order Function Example
-;; Benchmark: 90ns
-;; Benchmark-Repeat: 21671
+;; Benchmark: 93ns
+;; Benchmark-Repeat: 21559
 ;; Output: 25
 (do
   (def apply (fn [f x] (f x)))
diff --git a/examples/macro_financial.myc b/examples/macro_financial.myc
index b12d491..a37750f 100644
--- a/examples/macro_financial.myc
+++ b/examples/macro_financial.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 352ns
-;; Benchmark-Repeat: 5696
+;; Benchmark: 93ns
+;; Benchmark-Repeat: 21362
 ;; Financial DSL Macro example
 ;; Demonstrates generating complex records from simple parameters.
 ;; Output: {:price 100, :size 2, :total 200}
diff --git a/examples/macro_hygiene.myc b/examples/macro_hygiene.myc
index db9e08a..4f610b1 100644
--- a/examples/macro_hygiene.myc
+++ b/examples/macro_hygiene.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 192ns
-;; Benchmark-Repeat: 10538
+;; Benchmark: 206ns
+;; Benchmark-Repeat: 9658
 ;; Output: 5
 (do
 (def y 1)
diff --git a/examples/macro_power.myc b/examples/macro_power.myc
index 8618f31..24fc3c3 100644
--- a/examples/macro_power.myc
+++ b/examples/macro_power.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 154ns
-;; Benchmark-Repeat: 12979
+;; Benchmark: 162ns
+;; Benchmark-Repeat: 12339
 ;; Nested Macro and Arithmetic example
 ;; Output: 81
 
diff --git a/examples/macro_splice.myc b/examples/macro_splice.myc
index c730a0e..f540f93 100644
--- a/examples/macro_splice.myc
+++ b/examples/macro_splice.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 201ns
-;; Benchmark-Repeat: 9967
+;; Benchmark: 200ns
+;; Benchmark-Repeat: 9985
 ;; Macro Splicing example
 ;; Demonstrates unrolling a list into another list.
 ;; Output: [0 1 2 3 4]
diff --git a/examples/macro_unless.myc b/examples/macro_unless.myc
index f22aebd..44e189b 100644
--- a/examples/macro_unless.myc
+++ b/examples/macro_unless.myc
@@ -1,5 +1,5 @@
 ;; Benchmark: 92ns
-;; Benchmark-Repeat: 21913
+;; Benchmark-Repeat: 21825
 ;; Classic "unless" macro example
 ;; Demonstrates simple template substitution.
 ;; Output: 42
diff --git a/examples/optimizer_collision_repro.myc b/examples/optimizer_collision_repro.myc
index 5bbfb88..2833238 100644
--- a/examples/optimizer_collision_repro.myc
+++ b/examples/optimizer_collision_repro.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 92ns
-;; Benchmark-Repeat: 22026
+;; Benchmark: 93ns
+;; Benchmark-Repeat: 21646
 (do
   (macro wrap [f] `(fn [x] (~f x)))
 
diff --git a/examples/optimizer_purity.myc b/examples/optimizer_purity.myc
index 1b27db9..ea17734 100644
--- a/examples/optimizer_purity.myc
+++ b/examples/optimizer_purity.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 91ns
-;; Benchmark-Repeat: 22036
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 21507
 (do
   (def area (fn [x] (* PI x)))
   (area 10)
diff --git a/examples/optimizer_repro.myc b/examples/optimizer_repro.myc
index 014b63b..245e308 100644
--- a/examples/optimizer_repro.myc
+++ b/examples/optimizer_repro.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 170ns
-;; Benchmark-Repeat: 11959
+;; Benchmark: 172ns
+;; Benchmark-Repeat: 11766
 (do
   ;; 1. Provokation Stack-Gap (bei Optimization Level 2)
   (def result 
diff --git a/examples/record_optimizations.myc b/examples/record_optimizations.myc
index 7572e95..a7163cf 100644
--- a/examples/record_optimizations.myc
+++ b/examples/record_optimizations.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 1.3ms
+;; Benchmark: 1.2ms
 ;; Benchmark-Repeat: 3
 ;; Tests the effect of record inlining and field lookup optimization
 ;; Output: 10000
diff --git a/examples/records.myc b/examples/records.myc
index 45d7ae5..5aae83e 100644
--- a/examples/records.myc
+++ b/examples/records.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 3.2us
-;; Benchmark-Repeat: 622
+;; Benchmark: 1.9us
+;; Benchmark-Repeat: 1211
 ;; Output: ["Alice" 101 :admin "Zürich" ["Alice" "Bob"] true]
 
 ; ---------------------------------------------------------
diff --git a/examples/tak.myc b/examples/tak.myc
index 24e8da9..8f7dfe4 100644
--- a/examples/tak.myc
+++ b/examples/tak.myc
@@ -2,7 +2,7 @@
 ;; heavily recursive, benefits significantly from specialization of integer arithmetic
 ;; and direct function calls (skipping dynamic dispatch).
 ;; Output: 5
-
;; Benchmark: 413.3us
+
;; Benchmark: 423.0us
 ;; Benchmark-Repeat: 6
 
 (do
diff --git a/examples/tco_test.myc b/examples/tco_test.myc
index 79c0938..4a5bc2d 100644
--- a/examples/tco_test.myc
+++ b/examples/tco_test.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 2.4ms
+;; Benchmark: 2.5ms
 ;; Output: "done"
 (do
   (def count_down (fn [n]
diff --git a/examples/tuple-struct.myc b/examples/tuple-struct.myc
index 4baaa4a..fefe36b 100644
--- a/examples/tuple-struct.myc
+++ b/examples/tuple-struct.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 889ns
-;; Benchmark-Repeat: 2282
+;; Benchmark: 890ns
+;; Benchmark-Repeat: 2258
 (do
      (def pipe (fn [conf]
        (do
diff --git a/examples/tuples.myc b/examples/tuples.myc
index 042c78c..a831851 100644
--- a/examples/tuples.myc
+++ b/examples/tuples.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 2.0us
-;; Benchmark-Repeat: 1014
+;; Benchmark: 1.7us
+;; Benchmark-Repeat: 1209
 ;; Demonstration of N-dimensional Tuples, Vectors, and Matrices
 ;; Based on docs/Tupel 1.md
 ;;