Remove default rule for .Bytes
@@ -1799,6 +1799,8 @@ together in O(N) time.
```k
syntax Bytes ::= Bytes "+Bytes" Bytes [function, functional, hook(BYTES.concat), right]
+
+endmodule
```
### Implementation of Bytes
@@ -1809,9 +1811,6 @@ backends and should not be viewed as authoritative, nor should the user
use the `nilBytes` or `:` operators in their definition.
```k
- rule .Bytes => String2Bytes("")
-endmodule
-
module BYTES-IN-K [symbolic, kast]
imports INT
imports K-EQUAL
