Dumb question: how do I load this onto an ICE40?

I think you'd have to translate it to Verilog then feed it to the existing toolchain.