diff --git a/examples/again.myc b/examples/again.myc
index 673e52b..0479df8 100644
--- a/examples/again.myc
+++ b/examples/again.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 2.5us
-;; Benchmark-Repeat: 804
+;; Benchmark: 2.2us
+;; Benchmark-Repeat: 935
 ;; Output: 120
 (do
   (def factorial (fn [n acc]
diff --git a/examples/closure.myc b/examples/closure.myc
index 405b333..08866d9 100644
--- a/examples/closure.myc
+++ b/examples/closure.myc
@@ -1,6 +1,6 @@
 ;; Closure Scope Test
-;; Benchmark: 436ns
-;; Benchmark-Repeat: 4610
+;; Benchmark: 374ns
+;; Benchmark-Repeat: 5431
 ;; Output: 15
 (do
   (def make-adder (fn [x] 
diff --git a/examples/closure_cracking.myc b/examples/closure_cracking.myc
index 354821b..d7bb269 100644
--- a/examples/closure_cracking.myc
+++ b/examples/closure_cracking.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15551
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 21633
 ;; Output: 5
 (((fn [x] (fn [] x)) 5))
diff --git a/examples/closure_cracking_named.myc b/examples/closure_cracking_named.myc
index 9ec08a1..9c594bf 100644
--- a/examples/closure_cracking_named.myc
+++ b/examples/closure_cracking_named.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15494
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 21729
 ;; Output: 5
 (do
     (def f (fn [x] (fn [] x)))
diff --git a/examples/currying.myc b/examples/currying.myc
index f3bfb75..d37bf93 100644
--- a/examples/currying.myc
+++ b/examples/currying.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15458
+;; Benchmark: 91ns
+;; Benchmark-Repeat: 21971
 ;; 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 bfea61c..9af3164 100644
--- a/examples/data.myc
+++ b/examples/data.myc
@@ -1,6 +1,6 @@
 ;; Complex Data Structure Test
-;; Benchmark: 53.5us
-;; Benchmark-Repeat: 39
+;; Benchmark: 46.5us
+;; Benchmark-Repeat: 44
 ;; 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 9f09248..d4f52f9 100644
--- a/examples/def_local_inlining.myc
+++ b/examples/def_local_inlining.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 326ns
-;; Benchmark-Repeat: 6129
+;; Benchmark: 289ns
+;; Benchmark-Repeat: 6962
 ;; examples/def_local_inlining.myc
 ;; Demonstrates potential for DefLocal-Inlining (Phase 2.5)
 
diff --git a/examples/destructuring.myc b/examples/destructuring.myc
index a40a632..6e9b777 100644
--- a/examples/destructuring.myc
+++ b/examples/destructuring.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 969ns
-;; Benchmark-Repeat: 2078
+;; Benchmark: 723ns
+;; Benchmark-Repeat: 2781
 ;; Comprehensive Destructuring Test
 ;; Covers: Nested tuples, mixed params, dynamic passing
 
diff --git a/examples/extreme_capture.myc b/examples/extreme_capture.myc
index d38f500..e881b94 100644
--- a/examples/extreme_capture.myc
+++ b/examples/extreme_capture.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15452
+;; Benchmark: 91ns
+;; Benchmark-Repeat: 22134
 ;; Output: 36
 (do
   ;; Excessive capture test
diff --git a/examples/fib.myc b/examples/fib.myc
index 2bea3fb..64c25d6 100644
--- a/examples/fib.myc
+++ b/examples/fib.myc
@@ -1,6 +1,6 @@
 ;; Fibonacci Recursive
-;; Benchmark: 51.5us
-;; Benchmark-Repeat: 40
+;; Benchmark: 45.9us
+;; Benchmark-Repeat: 45
 ;; Output: 55
 (do
   (def fib (fn [n]
diff --git a/examples/folding.myc b/examples/folding.myc
index 249296f..fca68d3 100644
--- a/examples/folding.myc
+++ b/examples/folding.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15624
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 22073
 ;; Output: 30
 (+ 10 20)
diff --git a/examples/hof.myc b/examples/hof.myc
index b570938..c0f270b 100644
--- a/examples/hof.myc
+++ b/examples/hof.myc
@@ -1,6 +1,6 @@
 ;; Higher-Order Function Example
-;; Benchmark: 130ns
-;; Benchmark-Repeat: 15499
+;; Benchmark: 90ns
+;; Benchmark-Repeat: 21671
 ;; Output: 25
 (do
   (def apply (fn [f x] (f x)))
diff --git a/examples/macro_financial.myc b/examples/macro_financial.myc
index 391d041..b12d491 100644
--- a/examples/macro_financial.myc
+++ b/examples/macro_financial.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 401ns
-;; Benchmark-Repeat: 5016
+;; Benchmark: 352ns
+;; Benchmark-Repeat: 5696
 ;; 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 bf0f6df..db9e08a 100644
--- a/examples/macro_hygiene.myc
+++ b/examples/macro_hygiene.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 236ns
-;; Benchmark-Repeat: 8524
+;; Benchmark: 192ns
+;; Benchmark-Repeat: 10538
 ;; Output: 5
 (do
 (def y 1)
diff --git a/examples/macro_power.myc b/examples/macro_power.myc
index 30ce286..8618f31 100644
--- a/examples/macro_power.myc
+++ b/examples/macro_power.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 195ns
-;; Benchmark-Repeat: 10247
+;; Benchmark: 154ns
+;; Benchmark-Repeat: 12979
 ;; Nested Macro and Arithmetic example
 ;; Output: 81
 
diff --git a/examples/macro_splice.myc b/examples/macro_splice.myc
index 855113e..c730a0e 100644
--- a/examples/macro_splice.myc
+++ b/examples/macro_splice.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 237ns
-;; Benchmark-Repeat: 8394
+;; Benchmark: 201ns
+;; Benchmark-Repeat: 9967
 ;; 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 7efda44..f22aebd 100644
--- a/examples/macro_unless.myc
+++ b/examples/macro_unless.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 128ns
-;; Benchmark-Repeat: 15586
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 21913
 ;; Classic "unless" macro example
 ;; Demonstrates simple template substitution.
 ;; Output: 42
diff --git a/examples/object_records.myc b/examples/object_records.myc
index e2147ae..4c925b9 100644
--- a/examples/object_records.myc
+++ b/examples/object_records.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 2.2us
-;; Benchmark-Repeat: 903
+;; Benchmark: 1.9us
+;; Benchmark-Repeat: 1072
 ;; Output: [150 130 "Insufficient funds" 130]
 
 ; ---------------------------------------------------------
diff --git a/examples/optimizer_collision_repro.myc b/examples/optimizer_collision_repro.myc
index 5edf62b..5bbfb88 100644
--- a/examples/optimizer_collision_repro.myc
+++ b/examples/optimizer_collision_repro.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15510
+;; Benchmark: 92ns
+;; Benchmark-Repeat: 22026
 (do
   (macro wrap [f] `(fn [x] (~f x)))
 
diff --git a/examples/optimizer_purity.myc b/examples/optimizer_purity.myc
index 4167c55..1b27db9 100644
--- a/examples/optimizer_purity.myc
+++ b/examples/optimizer_purity.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 129ns
-;; Benchmark-Repeat: 15483
+;; Benchmark: 91ns
+;; Benchmark-Repeat: 22036
 (do
   (def area (fn [x] (* PI x)))
   (area 10)
diff --git a/examples/optimizer_repro.myc b/examples/optimizer_repro.myc
index f8d7994..014b63b 100644
--- a/examples/optimizer_repro.myc
+++ b/examples/optimizer_repro.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 212ns
-;; Benchmark-Repeat: 9439
+;; Benchmark: 170ns
+;; Benchmark-Repeat: 11959
 (do
   ;; 1. Provokation Stack-Gap (bei Optimization Level 2)
   (def result 
diff --git a/examples/record_optimizations.myc b/examples/record_optimizations.myc
index 7998e75..7572e95 100644
--- a/examples/record_optimizations.myc
+++ b/examples/record_optimizations.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 1.7ms
+;; Benchmark: 1.3ms
 ;; 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 f4fcbbc..45d7ae5 100644
--- a/examples/records.myc
+++ b/examples/records.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 3.4us
-;; Benchmark-Repeat: 573
+;; Benchmark: 3.2us
+;; Benchmark-Repeat: 622
 ;; Output: ["Alice" 101 :admin "Zürich" ["Alice" "Bob"] true]
 
 ; ---------------------------------------------------------
diff --git a/examples/tak.myc b/examples/tak.myc
index bd7249c..24e8da9 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: 471.7us
+
;; Benchmark: 413.3us
 ;; Benchmark-Repeat: 6
 
 (do
diff --git a/examples/tco_test.myc b/examples/tco_test.myc
index 02e98f0..79c0938 100644
--- a/examples/tco_test.myc
+++ b/examples/tco_test.myc
@@ -1,4 +1,4 @@
-;; Benchmark: 2.8ms
+;; Benchmark: 2.4ms
 ;; Output: "done"
 (do
   (def count_down (fn [n]
diff --git a/examples/tuple-struct.myc b/examples/tuple-struct.myc
index 29bb835..4baaa4a 100644
--- a/examples/tuple-struct.myc
+++ b/examples/tuple-struct.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 962ns
-;; Benchmark-Repeat: 2089
+;; Benchmark: 889ns
+;; Benchmark-Repeat: 2282
 (do
      (def pipe (fn [conf]
        (do
diff --git a/examples/tuples.myc b/examples/tuples.myc
index 122cefa..042c78c 100644
--- a/examples/tuples.myc
+++ b/examples/tuples.myc
@@ -1,5 +1,5 @@
-;; Benchmark: 1.9us
-;; Benchmark-Repeat: 1042
+;; Benchmark: 2.0us
+;; Benchmark-Repeat: 1014
 ;; Demonstration of N-dimensional Tuples, Vectors, and Matrices
 ;; Based on docs/Tupel 1.md
 ;;