diff --git a/examples/closure.myc b/examples/closure.myc
index 4a38f14..405b333 100644
--- a/examples/closure.myc
+++ b/examples/closure.myc
@@ -1,6 +1,6 @@
 ;; Closure Scope Test
-;; Benchmark: 779ns
-;; Benchmark-Repeat: 2613
+;; Benchmark: 436ns
+;; Benchmark-Repeat: 4610
 ;; Output: 15
 (do
   (def make-adder (fn [x] 
diff --git a/examples/closure_cracking.myc b/examples/closure_cracking.myc
index 83d8aab..354821b 100644
--- a/examples/closure_cracking.myc
+++ b/examples/closure_cracking.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 130ns
-;; Benchmark-Repeat: 15355
+;; Benchmark: 129ns
+;; Benchmark-Repeat: 15551
 ;; Output: 5
 (((fn [x] (fn [] x)) 5))
diff --git a/examples/closure_cracking_named.myc b/examples/closure_cracking_named.myc
index 61fcae2..9ec08a1 100644
--- a/examples/closure_cracking_named.myc
+++ b/examples/closure_cracking_named.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 620ns
-;; Benchmark-Repeat: 3234
+;; Benchmark: 129ns
+;; Benchmark-Repeat: 15494
 ;; Output: 5
 (do
     (def f (fn [x] (fn [] x)))
diff --git a/examples/currying.myc b/examples/currying.myc
index 125e1c3..f3bfb75 100644
--- a/examples/currying.myc
+++ b/examples/currying.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 1.1us
-;; Benchmark-Repeat: 1848
+;; Benchmark: 129ns
+;; Benchmark-Repeat: 15458
 ;; 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 2cb39c6..bfea61c 100644
--- a/examples/data.myc
+++ b/examples/data.myc
@@ -1,5 +1,5 @@
 ;; Complex Data Structure Test
-;; Benchmark: 53.6us
+;; Benchmark: 53.5us
 ;; Benchmark-Repeat: 39
 ;; Output: {:name "Fibonacci", :input 10, :output 55}
 (do
diff --git a/examples/def_local_inlining.myc b/examples/def_local_inlining.myc
index 8b46a58..9f09248 100644
--- a/examples/def_local_inlining.myc
+++ b/examples/def_local_inlining.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 336ns
-;; Benchmark-Repeat: 5959
+;; Benchmark: 326ns
+;; Benchmark-Repeat: 6129
 ;; examples/def_local_inlining.myc
 ;; Demonstrates potential for DefLocal-Inlining (Phase 2.5)
 
diff --git a/examples/destructuring.myc b/examples/destructuring.myc
index 55fc643..ab53f72 100644
--- a/examples/destructuring.myc
+++ b/examples/destructuring.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 2.4us
-;; Benchmark-Repeat: 848
+;; Benchmark: 2.1us
+;; Benchmark-Repeat: 961
 ;; Comprehensive Destructuring Test
 ;; Covers: Nested tuples, mixed params, dynamic passing
 
diff --git a/examples/extreme_capture.myc b/examples/extreme_capture.myc
index 324dc73..d38f500 100644
--- a/examples/extreme_capture.myc
+++ b/examples/extreme_capture.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 1.4us
-;; Benchmark-Repeat: 1448
+;; Benchmark: 129ns
+;; Benchmark-Repeat: 15452
 ;; Output: 36
 (do
   ;; Excessive capture test
diff --git a/examples/fib.myc b/examples/fib.myc
index c5b3b3f..2bea3fb 100644
--- a/examples/fib.myc
+++ b/examples/fib.myc
@@ -1,6 +1,6 @@
 ;; Fibonacci Recursive
-;; Benchmark: 53.7us
-;; Benchmark-Repeat: 39
+;; Benchmark: 51.5us
+;; Benchmark-Repeat: 40
 ;; Output: 55
 (do
   (def fib (fn [n]
diff --git a/examples/folding.myc b/examples/folding.myc
index 6bb12ff..249296f 100644
--- a/examples/folding.myc
+++ b/examples/folding.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 143ns
-;; Benchmark-Repeat: 14112
+;; Benchmark: 129ns
+;; Benchmark-Repeat: 15624
 ;; Output: 30
 (+ 10 20)
diff --git a/examples/hof.myc b/examples/hof.myc
index 072f005..b570938 100644
--- a/examples/hof.myc
+++ b/examples/hof.myc
@@ -1,6 +1,6 @@
 ;; Higher-Order Function Example
-;; Benchmark: 706ns
-;; Benchmark-Repeat: 2798
+;; Benchmark: 130ns
+;; Benchmark-Repeat: 15499
 ;; Output: 25
 (do
   (def apply (fn [f x] (f x)))
diff --git a/examples/macro_financial.myc b/examples/macro_financial.myc
index 3279a70..f561619 100644
--- a/examples/macro_financial.myc
+++ b/examples/macro_financial.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 354ns
-;; Benchmark-Repeat: 5640
+;; Benchmark: 351ns
+;; Benchmark-Repeat: 5716
 ;; 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 5dc0571..bf0f6df 100644
--- a/examples/macro_hygiene.myc
+++ b/examples/macro_hygiene.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 237ns
-;; Benchmark-Repeat: 8555
+;; Benchmark: 236ns
+;; Benchmark-Repeat: 8524
 ;; Output: 5
 (do
 (def y 1)
diff --git a/examples/macro_power.myc b/examples/macro_power.myc
index 246ca6c..30ce286 100644
--- a/examples/macro_power.myc
+++ b/examples/macro_power.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 198ns
-;; Benchmark-Repeat: 10207
+;; Benchmark: 195ns
+;; Benchmark-Repeat: 10247
 ;; Nested Macro and Arithmetic example
 ;; Output: 81
 
diff --git a/examples/macro_splice.myc b/examples/macro_splice.myc
index 0ea70c6..855113e 100644
--- a/examples/macro_splice.myc
+++ b/examples/macro_splice.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 259ns
-;; Benchmark-Repeat: 7947
+;; Benchmark: 237ns
+;; Benchmark-Repeat: 8394
 ;; 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 d9fe294..7efda44 100644
--- a/examples/macro_unless.myc
+++ b/examples/macro_unless.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 146ns
-;; Benchmark-Repeat: 14044
+;; Benchmark: 128ns
+;; Benchmark-Repeat: 15586
 ;; Classic "unless" macro example
 ;; Demonstrates simple template substitution.
 ;; Output: 42
diff --git a/examples/optimizer_purity.myc b/examples/optimizer_purity.myc
index 19b8d19..4167c55 100644
--- a/examples/optimizer_purity.myc
+++ b/examples/optimizer_purity.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 448ns
-;; Benchmark-Repeat: 4564
+;; Benchmark: 129ns
+;; Benchmark-Repeat: 15483
 (do
   (def area (fn [x] (* PI x)))
   (area 10)
diff --git a/examples/optimizer_repro.myc b/examples/optimizer_repro.myc
index 1c91168..f8d7994 100644
--- a/examples/optimizer_repro.myc
+++ b/examples/optimizer_repro.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 666ns
-;; Benchmark-Repeat: 2975
+;; Benchmark: 212ns
+;; Benchmark-Repeat: 9439
 (do
   ;; 1. Provokation Stack-Gap (bei Optimization Level 2)
   (def result 
diff --git a/examples/record_to_tuple.myc b/examples/record_to_tuple.myc
index fd1b2e5..ad5325c 100644
--- a/examples/record_to_tuple.myc
+++ b/examples/record_to_tuple.myc
@@ -1,7 +1,7 @@
 ;; Record to Tuple Mapping Test
 ;; Output: 30
-;; Benchmark: 760ns
-;; Benchmark-Repeat: 2612
+;; Benchmark: 727ns
+;; Benchmark-Repeat: 2764
 (do
   (def rec {:x 10 :y 20})
   
diff --git a/examples/record_unpack.myc b/examples/record_unpack.myc
index 11f67e3..568fcba 100644
--- a/examples/record_unpack.myc
+++ b/examples/record_unpack.myc
@@ -2,8 +2,8 @@
 ;; This test calls a function that destructures a record
 ;; Current implementation is now zero-allocation for destructuring.
 ;; Output: 3
-;; Benchmark: 740ns
-;; Benchmark-Repeat: 2745
+;; Benchmark: 698ns
+;; Benchmark-Repeat: 2875
 
 (do
   (def process (fn [[x y]] 
(+ x y)))
diff --git a/examples/tak.myc b/examples/tak.myc
index d162827..bd7249c 100644
--- a/examples/tak.myc
+++ b/examples/tak.myc
@@ -2,8 +2,8 @@
 ;; heavily recursive, benefits significantly from specialization of integer arithmetic
 ;; and direct function calls (skipping dynamic dispatch).
 ;; Output: 5
-
;; Benchmark: 488.0us
-;; Benchmark-Repeat: 5
+
;; Benchmark: 471.7us
+;; Benchmark-Repeat: 6
 
 (do
   (def tak (fn [x y z]
diff --git a/examples/tco_test.myc b/examples/tco_test.myc
index 329524c..02e98f0 100644
--- a/examples/tco_test.myc
+++ b/examples/tco_test.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 2.9ms
+;; Benchmark: 2.8ms
 ;; Output: "done"
 (do
   (def count_down (fn [n]
diff --git a/examples/tuples.myc b/examples/tuples.myc
index 1e4f731..122cefa 100644
--- a/examples/tuples.myc
+++ b/examples/tuples.myc
@@ -1,5 +1,5 @@
 ;; Benchmark: 1.9us
-;; Benchmark-Repeat: 1043
+;; Benchmark-Repeat: 1042
 ;; Demonstration of N-dimensional Tuples, Vectors, and Matrices
 ;; Based on docs/Tupel 1.md
 ;;