Expanded tests

examples/tests.modal

@@ -4,6 +4,20 @@
 <> (?x = ?x test) (#ok)
 <> (?x = ?y test) (#fail)
 
+?(?-) (Empty replacements)
+
+<> (?x pop-plain)
+<> (?x pop) ()
+
+abc def pop-plain = abc test
+abc def pop = abc test
+
+?(?-) (Basic replacements)
+
+<> (replace-name (foo)) ((bar) =)
+
+replace-name (foo) (bar) test
+
 ?(?-) (Basic register setups)
 
 <> (dup (?x)) ((?x ?x) =)
@@ -17,4 +31,16 @@ compare (abc abc abc) (#t) test
 ?(?-) (Lambdas)
 
 ?((?x) ((?x ?x) =)) abc (abc abc) test
+abc ?(?x) def = abc test
 
+?(?-) (Explode)
+
+<> (explode ?*) ((?*) =)
+
+explode cow (c (o (w ()))) test
+
+?(?-) (Implode)
+
+<> (implode ?*) (?* =)
+
+implode (b (a (t ()))) bat test