Remove the format attribute from Word (#95)

We want pretty-printed terms to be parseable into semantically correct
data structures.

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: automergerpr-permission-manager[bot] <190534181+automergerpr-permission-manager[bot]@users.noreply.github.com>

Author: 3 people

package/version

@@ -1 +1 @@
-0.1.70
+0.1.71

pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kriscv"
-version = "0.1.70"
+version = "0.1.71"
 description = "K tooling for the RISC-V architecture"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",

src/kriscv/kdist/riscv-semantics/word.md

@@ -11,7 +11,7 @@ module WORD
 ```
 Throughout the semantics, we use K's arbitrary-precision, infinitely sign-extended, two's-complement integer type `Int` to store arbitrary bit sequences. A `Word` consists of a single `Int`, with the `XLEN` least-signficant bits storing the desired bit sequence and all other bits zeroed.
 ```k
-  syntax Word ::= W(Int) [format(%3), symbol(W)]
+  syntax Word ::= W(Int) [symbol(W)]
 ```
 A `Word` can be interpreted as an unsigned integer by directly returning the underlying `Int`,
 ```k