renamed type_state to ir_type_state