Should [these Wasm 1.0 changes](https://github.com/Wasm-DSL/spectec/pull/201/changes#diff-a64d5f31f256eb50f6ae67bce2fc8bc8b3b8ac148d1c371b4e3e2b28a6367546) from https://github.com/Wasm-DSL/spectec/pull/201 be pulled?
Should these Wasm 1.0 changes from Wasm-DSL#201 be pulled?