Addressed some more MUST and SHOULDs. Now the code seems to mostly work, for some definition of work (the sending part will send too large packets, but that is .. life.)
Perfected(?) the reply logic - now the an, ar handling of multiple pending simultaneous queries is consistent, and hopefully correct.