Add intrinsics for subtraction

kernel/modelverse_kernel/main.py

@@ -39,6 +39,7 @@ class ModelverseKernel(object):
         self.jit.register_binary_intrinsic('bool_or', 'or')
 
         self.jit.register_binary_intrinsic('integer_addition', '+')
+        self.jit.register_binary_intrinsic('integer_subtraction', '-')
         self.jit.register_binary_intrinsic('integer_multiplication', '*')
         self.jit.register_binary_intrinsic('integer_division', '/')
         self.jit.register_binary_intrinsic('integer_gt', '>')
@@ -47,6 +48,7 @@ class ModelverseKernel(object):
         self.jit.register_binary_intrinsic('integer_lte', '<=')
 
         self.jit.register_binary_intrinsic('float_addition', '+')
+        self.jit.register_binary_intrinsic('float_subtraction', '-')
         self.jit.register_binary_intrinsic('float_multiplication', '*')
         self.jit.register_binary_intrinsic('float_division', '/')
         self.jit.register_binary_intrinsic('float_gt', '>')