Callbacks to array elements that should be demand-created
After the fix for #410 in cf4f8514, callbacks to array elements are explicitly assumed to be sent to elements that already exist. Thus, the message is marked with
ifNotTHere_buffer, rather than
createhome. In the hypothetical where someone wants an array element to be demand-created by a callback, we will have to revisit that design.