You should focus on making those implicit references explicit. Define "explicit". Can we just add more operands to the _REF nodes that contain pointers to the other references? We can then teach the RTL expander to use them if they're there instead of going to the types.