fwIR syntax and types