🎨 More type algebra and tests

src/lib/engine.c

@@ -106,6 +106,7 @@ ANN static m_bool import_core_libs(const Gwi gwi) {
 
   GWI_BB(gwi_oper_ini(gwi, "Class", "Class", "int"))
   GWI_BB(gwi_oper_end(gwi, "==", int_eq))
+  GWI_BB(gwi_oper_end(gwi, "!=", int_neq))
   GWI_BB(gwi_oper_end(gwi, ">=", instr_class_ge))
   GWI_BB(gwi_oper_end(gwi, ">",  instr_class_gt))
   GWI_BB(gwi_oper_end(gwi, "<=", instr_class_le))

tests/new/typeof.gw

@@ -0,0 +1,8 @@
+<<< typeof(1) == typeof(2) >>>;
+<<< typeof(1) != typeof(2) >>>;
+<<< typeof(1) > typeof(2) >>>;
+<<< typeof(1) >= typeof(2) >>>;
+<<< typeof(1) < typeof(2) >>>;
+<<< typeof(1) <= typeof(2) >>>;
+<<< typeof(1) == Object >>>;
+<<< typeof(1) > Object >>>;

tests/new/typeof2.gw

@@ -0,0 +1,2 @@
+<<< int >>>;
+<<< typeof(1) >= int >>>;

tests/new/typeof3.gw

@@ -0,0 +1,9 @@
+class C {}
+class D extends C {}
+C c;
+D d;
+<<< typeof(c) < typeof(d) >>>;
+<<< typeof(c) > typeof(d) >>>;
+<<< C < D >>>;
+<<< C > D >>>;
+