1) What is NaR + NaR? Whose metadata used?
It will be one of the inputs; which one is implementation dependent.
So if it were a case of Null + some NaR that triggers an exception when written to memory, the behavior would depend on the particular Mill core? I was expecting some priority between the various NaRs.