add type info to ir