Just in case it is useful, I asked your question to Nat Pryce. Here was his reply: https://groups.google.com/d...