In the [validation rules](https://wasm-dsl.github.io/spectec/core/valid/instructions.html#valid-memory-grow), `memory.grow` has type `at -> at` where `at` is an [address type](https://wasm-dsl.github.io/spectec/core/syntax/types.html#syntax-addrtype) which can be either `i32` or `i64`. In the [index of instructions](https://wasm-dsl.github.io/spectec/core/appendix/index-instructions.html), it has type `i32 -> i32`. I can make a PR if that helps.