fix λ.. printing and test it

tests/telescopes.ref

+1 subgoal
+  
+  X : tele
+  α, β, γ1, γ2 : X → Prop
+  ============================
+  accessor α β γ1 → accessor α β (λ.. x : X, γ1 x ∨ γ2 x)
+1 subgoal
+  
+  X : tele
+  α, β, γ1, γ2 : X → Prop
+  ============================
+  ∀.. x : X, γ1 x → (λ.. x0 : X, γ1 x0 ∨ γ2 x0) x
+1 subgoal
+  
+  X : tele
+  α, β, γ1, γ2 : X → Prop
+  x : X
+  Hγ : γ1 x
+  ============================
+  γ1 x ∨ γ2 x