tbf it's not that bad because i eventually decided to just go with ANF for the IR (and then there's a simple pass to actually lower down to WASM's stack machine later), and i do have more instructions and types than WASM does.

(it's still a valid solution if you pass the input through an external program that then generates a .data section with structured input for your program's assembly code which you then run through the assembler in this essay i will :'>)