I discussed this briefly with some south american jungle spirit, and listed key-value pairs should actually work in terms of implied order.
If/When i find the time i will have a look at the NIP with the NSF guys, see what they think of all of this stuff.