Clean up dzref a little

1 files changed, 3 insertions, 8 deletions

diff --git a/dzref b/dzref
index 28bba9d5..0bf42f37 100755
--- a/dzref
+++ b/dzref
@@ -26,10 +26,9 @@ _depthOp_←{
 #⌜
 # LAYER 5: Structural functions
 
-Nat←IsArray◶⟨0⊸≤∧⌊⊸=,0⟩
-
 Windows←{
-  ! IsArray 𝕩
+  Nat←(1=•Type)◶⟨0,0⊸≤∧⌊⊸=⟩
+  ! 0=•Type 𝕩
   ! 1≥=𝕨
   ! 𝕨≤○≠≢𝕩
   ! ∧´Nat¨⥊𝕨
@@ -95,11 +94,7 @@ _withRef ← ˙
   }
 
   # built-in assumptions
-  Mod ← {((⊑chr⊐𝕨)⊑names) ∾ " ← " ∾ 𝕩}
-
-  Raw¨ ⟨
-    "IsArray ← 0≠≡"
-  ⟩∾Mod⟜⥊¨ "↕⊐"
+  (Raw (chr⊸⊐⌾<⊑names˙)∾" ← "∾⥊)¨ "↕⊐"
   chr∾↩"⍎" ⋄ names∾↩⟨"⍎_withRef "⟩