[spectec] Fix EQ/NE reduction in IL semantics

Author: rossberg

spectec/doc/semantics/il/5-reduction.spectec

@@ -123,11 +123,11 @@ rule Step_exp/CMP-EQ-true:
 
 rule Step_exp/CMP-EQ-false:
   S |- CMP EQ val_1 val_2 ~> BOOL false
-  -- if val_1 = val_2
+  -- if val_1 =/= val_2
 
 rule Step_exp/CMP-NE-false:
   S |- CMP NE e_1 e_2 ~> BOOL false
-  -- if e_1 =/= e_2
+  -- if e_1 = e_2
 
 rule Step_exp/CMP-NE-true:
   S |- CMP NE val_1 val_2 ~> BOOL true