2168 - '~=' for inequality

'!=' isn't an option.
'<>' is kinda weird looking. Also, I don't want to further entangle
assignment and comparison.
'~=' is also kinda weird, and close to perl's '=~'. But at least
it reads well.

Author: akkartik

043check.wart

@@ -31,6 +31,8 @@ let ($=) (=) # ignore later refinements
              (car.a = car.b)
              (cdr.a = cdr.b)))
 
+alias (~=) ~equal
+
 mac default(var val|to)
   `(or ,var
        (,var <- ,val))

044type.wart

@@ -21,7 +21,7 @@ def tag(type val)
   (list 'object type val)
 
 def rep(x)
-  if (or ~cons?.x (~equal 'object car.x))
+  if (or ~cons?.x (car.x ~= 'object))
     x
     car:cddr.x
 

045generic.wart

@@ -7,7 +7,7 @@
 
 let $mac mac
   mac! mac(name params ... body)
-    if (~equal car.body :case)
+    if (car.body ~= :case)
       `(,$mac ,name ,params ,@body)
       `(let $super ,name
          (mac! ,name ,params

056sym.wart

@@ -18,15 +18,15 @@ def is_match(a b bindings) :case sym?.a
       (and (str.a.-1 = "_")   # p_ matches any $p
            sym?.b
            (let acore (str.a 0 -1)
-             (and (~equal acore str.b)  # ..but not p
+             (and (acore ~= str.b)  # ..but not p
                   (sym.acore = sym_root.b))))
       (and sym?.b
            (digit? str.b.-1)  # (p_x p_x) matches two of any $p
            (withs (sa   str.a
                    ai   (pos "_" (as list sa))
                    acore  (if ai (sa 0 ai)))
              (and ai
-                  (~equal acore str.b)
+                  (acore ~= str.b)
                   (sym.acore = sym_root.b)
                   (default bindings.a :to b)
                   (bindings.a = b)))))