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 createhere or createhome. In the hypothetical where someone wants an array element to be demand-created by a callback, we will have to revisit that design.