Update for K/KItem disambiguation

decoder.k

@@ -1322,7 +1322,7 @@ module DECODER
 
   syntax String ::= PrintHexWithWidth(Int, Int) [function]
   
-  syntax K ::= ExtendToWidth(Int, Int, Int) [function]// Initial, Width, Sign (1=Extend with F, 0 = Extend with 0)
+  syntax KItem ::= ExtendToWidth(Int, Int, Int) [function]// Initial, Width, Sign (1=Extend with F, 0 = Extend with 0)
   rule PrintHexWithWidth(V, W) => "-" +String PrintHexWithWidth(0 -Int V, W) requires V <Int 0
   rule PrintHexWithWidth(V, _) => "0x" +String Base2String(V, 16)  requires V >=Int 0
 
@@ -1746,7 +1746,7 @@ module DECODER
        <REG7> R </REG7>
        requires VIS =/=K SUPPRESSED
 
-  syntax K ::= MakeRELBR(K, K) [strict]
+  syntax K ::= MakeRELBR(KItem, KItem) [strict]
 
   rule AppendOperand(MakeRELBR(W:Int, V:String) => mi(64, String2Base(V, 16)))