IN PROGRESS: updated IRInst types, more work on generate_ir