Reword naming

docs/ALU Design.md

@@ -240,7 +240,7 @@ Each function will follow the naming scheme described in the relevant section be
 Name template: `__llvm_<opcode>_<ty1>_<ty2>`. In case the instruction works with both operands of
 the same data type, the template degrades to `__llvm_<opcode>_<ty>_<ty>`.
 
-In the above example of `add i32 %a, %b`, the polyfill would be named `__llvm_add_i32_i32`.
+In the example of `inst i32 %a, %b`, the polyfill would be named `__llvm_inst_i32_i32`.
 
 If `<ty>` is `i1`, it is translated into `bool`. For an example instruction `inst i1 %a, %b`, the
 polyfill would be named `__llvm_inst_bool_bool`.
@@ -257,6 +257,8 @@ argument accepted by the intrinsic.
 In the example of `llvm.uadd.with.overflow.i64(i64 %left, i64 %right)`, the polyfill would be named
 `__llvm_uadd_with_overflow_i64_i64`.
 
+All other naming rules defined for instructions also apply to intrinsics.
+
 ### Operations
 
 The list below specifies all implementations of arithmetic operations that will be provided by ALU.