1 files changed, 4 insertions, 4 deletions

diff --git a/vm.bqn b/vm.bqn
index b445a17d..c6a876f0 100644
--- a/vm.bqn
+++ b/vm.bqn
@@ -143,10 +143,10 @@ RunBC ← { bc‿pos‿env:
   }¨ bodyInfo
 
   blocks ← {type‿imm‿body:
-    inner ← type ⊑ ⟨
-      {𝕊n: N ⟨⟩}
-      {𝕊n: {N 𝕣‿𝕗  }}
-      {𝕊n: {N 𝕣‿𝕗‿𝕘}}
+    inner ← imm ⊑ type ⊑ ⟨
+      2⥊⟨{𝕊n: N ⟨⟩}⟩
+      {𝕊n: {d←N 𝕣‿𝕗  ⋄𝕨D𝕩}}‿{𝕊n: {N 𝕣‿𝕗  }}
+      {𝕊n: {d←N 𝕣‿𝕗‿𝕘⋄𝕨D𝕩}}‿{𝕊n: {N 𝕣‿𝕗‿𝕘}}
     ⟩
     outer ← imm ⊑ ⟨
       {