the type 'type' is now called ir_type